Makefile revision 1124
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknertree 1124:
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner
43b4c41fbb07705c9df321221ab9cb9832460407Christian MaederCASL2CoCASL.hs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerCASL2CspCASL.hs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerCASL2HasCASL.hs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerCASL2Modal.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL2PCFOL.hs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerCASL2Prop.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL2SubCFOL.hs
d23ecf32e56cce69bc42eb5c96dddf7909c623abjelmdCASL2TopSort.hs
d23ecf32e56cce69bc42eb5c96dddf7909c623abjelmdCASL2VSE.hs
d23ecf32e56cce69bc42eb5c96dddf7909c623abjelmdCASL2VSEImport.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL2VSERefine.hs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerCASL_DL2CASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCFOL2IsabelleHOL.hs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerCoCASL2CoPCFOL.hs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerCoCASL2CoSubCFOL.hs
7d0ee72ee91ec305408688b969c43f07b9667c80Christian MaederCoCFOL2IsabelleHOL.hs
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederCspCASL2IsabelleHOL.txt
0e5b095a19790411e5352fa7cf57cb0388e70472Christian MaederCspCASL2Modal.hs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerDFOL2CASL.hs
d23ecf32e56cce69bc42eb5c96dddf7909c623abjelmdDMU2OWL.hs
c9a7e6af169a2adfb92f42331cd578065ed83a2bChristian MaederGetPreludeLib.hs
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederHasCASL2HasCASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHasCASL2Haskell.hs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerHasCASL2IsabelleHOL.hs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerHasCASL2PCoClTyConsHOL.hs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerHaskell2IsabelleHOLCF.hs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerHetLogicGraph.hs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerHs2HOLCF.hs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerHs2HOLCFaux.hs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerKnownProvers.hs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerLogicGraph.hs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerLogicList.hs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerMaude2CASL.hs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerModal2CASL.inline.hs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerMonadicHasCASLTranslation.hs
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen KuksaOWL2CASL.hs
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen KuksaPCoClTyConsHOL2IsabelleHOL.hs
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen KuksaPCoClTyConsHOL2PairsInIsaHOL.hs
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen KuksaPPolyTyConsHOL2IsaUtils.hs
ab4256496e72886018b78571057331f373da6883Eugen KuksaProp2CASL.hs
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen KuksaRelScheme2CASL.hs
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen KuksaSuleCFOL2SoftFOL.hs
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen Kuksatest/
a389e88e0acb83d8489bdc5e55bc5522b152bbecEugen Kuksa