|
.. |
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 |