Name Date Size

.. 2018-01-08 15:30:14 117

Adl2CASL.hs 2016-03-25 20:00:16 9.2 KiB

CASL2CoCASL.hs 2016-03-25 20:00:16 1.9 KiB

CASL2CspCASL.hs 2016-03-25 20:00:16 1.9 KiB

CASL2ExtModal.hs 2016-03-25 20:00:16 2 KiB

CASL2HasCASL.hs 2016-06-06 22:26:08 11.5 KiB

CASL2Hybrid.hs 2013-05-20 01:06:41 1.7 KiB

CASL2Modal.hs 2016-03-25 20:00:16 1.8 KiB

CASL2NNF.hs 2017-03-13 11:39:26 4 KiB

CASL2PCFOL.hs 2016-03-25 20:00:16 7.3 KiB

CASL2Prenex.hs 2017-03-13 11:39:26 7 KiB

CASL2Prop.hs 2016-03-25 20:00:16 4.4 KiB

CASL2Skolem.hs 2016-06-09 16:19:05 5.6 KiB

CASL2SubCFOL.hs 2016-03-25 20:00:16 13.3 KiB

CASL2TopSort.hs 2016-04-12 10:36:47 19 KiB

CASL2VSE.hs 2016-03-25 20:00:16 1.7 KiB

CASL2VSEImport.hs 2016-03-25 20:00:16 7.7 KiB

CASL2VSERefine.hs 2016-03-25 20:00:16 37.5 KiB

CASL_DL2CASL.hs 2016-03-25 20:00:16 7.7 KiB

CFOL2IsabelleHOL.hs 2016-03-25 20:00:16 11.4 KiB

CoCASL2CoPCFOL.hs 2016-03-25 20:00:16 2.7 KiB

CoCASL2CoSubCFOL.hs 2016-03-25 20:00:16 4 KiB

CoCFOL2IsabelleHOL.hs 2016-03-25 20:00:16 5.7 KiB

CommonLogic2CASL.hs 2016-03-25 20:00:16 18.4 KiB

CommonLogic2IsabelleHOL.hs 2016-03-25 20:00:16 10.2 KiB

CommonLogicModuleElimination.hs 2016-03-25 20:00:16 3.9 KiB

CSMOF2CASL.hs 2016-03-25 20:00:16 22.1 KiB

CspCASL2IsabelleHOL.txt 2007-09-20 15:56:09 2.5 KiB

CspCASL2Modal.hs 2016-03-25 20:00:16 1.7 KiB

DFOL2CASL.hs 2016-03-25 20:00:16 2 KiB

DynComorphismList.hs 2013-11-29 03:57:59 149

DynLogicList.hs 2016-03-25 20:00:16 492

ExtModal2CASL.hs 2016-03-25 20:00:16 8.6 KiB

ExtModal2ExtModalNoSubsorts.hs 2016-03-25 20:00:16 3 KiB

ExtModal2ExtModalTotal.hs 2016-03-25 20:00:16 4 KiB

ExtModal2HasCASL.hs 2016-03-25 20:00:16 30.8 KiB

ExtModal2OWL.hs 2018-01-04 14:30:40 1.9 KiB

GetPreludeLib.hs 2016-03-25 20:00:16 1.4 KiB

HasCASL2HasCASL.hs 2016-03-25 20:00:16 1.6 KiB

HasCASL2Haskell.hs 2016-03-25 20:00:16 17.3 KiB

HasCASL2IsabelleHOL.hs 2016-03-25 20:00:16 24.9 KiB

HasCASL2PCoClTyConsHOL.hs 2016-03-25 20:00:16 4.2 KiB

HasCASL2THFP_P.hs 2016-03-25 20:00:16 20.8 KiB

Haskell2IsabelleHOLCF.hs 2016-03-25 20:00:16 2.1 KiB

HetLogicGraph.hs 2016-03-25 20:00:16 12.4 KiB

HolLight2Isabelle.hs 2016-03-25 20:00:16 10.5 KiB

Hs2HOLCF.hs 2013-11-29 03:57:59 33.8 KiB

Hs2HOLCFaux.hs 2016-03-25 20:00:16 33.7 KiB

Hybrid2CASL.hs 2016-03-25 20:00:16 12.4 KiB

KnownProvers.hs 2016-03-25 20:00:16 8 KiB

LogicGraph.hs 2018-01-08 15:30:14 10 KiB

LogicList.hs 2017-10-14 17:27:53 3.5 KiB

Maude2CASL.hs 2016-03-25 20:00:16 5.2 KiB

Modal2CASL.hs 2016-03-25 20:00:16 10.9 KiB

MonadicHasCASLTranslation.hs 2016-03-25 20:00:16 2.1 KiB

PCoClTyConsHOL2IsabelleHOL.hs 2016-03-25 20:00:16 2.1 KiB

PCoClTyConsHOL2PairsInIsaHOL.hs 2016-03-25 20:00:16 2 KiB

PPolyTyConsHOL2IsaUtils.hs 2016-03-25 20:00:16 39.5 KiB

Prop2CASL.hs 2016-03-25 20:00:16 2.3 KiB

Prop2CommonLogic.hs 2016-03-25 20:00:16 5.1 KiB

Prop2QBF.hs 2016-03-25 20:00:16 3.5 KiB

QBF2Prop.hs 2016-03-25 20:00:16 4.1 KiB

QVTR2CASL.hs 2016-03-25 20:00:16 32.3 KiB

RelScheme2CASL.hs 2016-03-25 20:00:16 10.3 KiB

SoftFOL2CommonLogic.hs 2016-03-25 20:00:16 19.1 KiB

SuleCFOL2SoftFOL.hs 2017-03-13 11:39:26 45 KiB

SuleCFOL2TPTP.hs 2018-01-08 15:30:14 29.7 KiB

test 2018-01-08 15:30:14 6

THFP2THF0.hs 2016-03-25 20:00:16 12.4 KiB

THFP_P2HasCASL.hs 2016-03-25 20:00:16 9.7 KiB

THFP_P2THFP.hs 2016-03-25 20:00:16 1.6 KiB