PCoClTyConsHOL2IsabelleHOL.hs revision 3d3889e0cefcdce9b3f43c53aaa201943ac2e895
b062631d2f72f0b2b2b6140bc5b0fccb66d1802bChristian Maedertree 3d3889e0cefcdce9b3f43c53aaa201943ac2e895:
b062631d2f72f0b2b2b6140bc5b0fccb66d1802bChristian Maeder
d53747c386354ff7db8629dfdf20f44a7c4d715dEugen Kuksa.gitignore
cacbb5e3100fb85d23d1614cace3a8662801f2e6Eugen KuksaATC.hs
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuATC/
b062631d2f72f0b2b2b6140bc5b0fccb66d1802bChristian MaederAdl/
cacbb5e3100fb85d23d1614cace3a8662801f2e6Eugen KuksaCASL.hs
b062631d2f72f0b2b2b6140bc5b0fccb66d1802bChristian MaederCASL/
6d81916b9004f8d9b6032113c5987ab07da47015Karl LucCASL_DL.hs
b062631d2f72f0b2b2b6140bc5b0fccb66d1802bChristian MaederCASL_DL/
d53747c386354ff7db8629dfdf20f44a7c4d715dEugen KuksaCMDL.hs
b062631d2f72f0b2b2b6140bc5b0fccb66d1802bChristian MaederCMDL/
b062631d2f72f0b2b2b6140bc5b0fccb66d1802bChristian MaederCOL.hs
b062631d2f72f0b2b2b6140bc5b0fccb66d1802bChristian MaederCOL/
823ce7a568b0f653ebe83af7ab6ac9ec70f2cf8eKarl LucCSL/
b062631d2f72f0b2b2b6140bc5b0fccb66d1802bChristian MaederCSMOF/
b062631d2f72f0b2b2b6140bc5b0fccb66d1802bChristian MaederCoCASL.hs
823ce7a568b0f653ebe83af7ab6ac9ec70f2cf8eKarl LucCoCASL/
b062631d2f72f0b2b2b6140bc5b0fccb66d1802bChristian MaederCommon.hs
c51d1f5ff88cce030fe543e271ca6b85625b70d8Karl LucCommon/
c51d1f5ff88cce030fe543e271ca6b85625b70d8Karl LucCommonLogic/
1ea7fb6b0f66210bc0d3cb995f1b655277b33884Eugen KuksaComorphisms.hs
b062631d2f72f0b2b2b6140bc5b0fccb66d1802bChristian MaederComorphisms/
b062631d2f72f0b2b2b6140bc5b0fccb66d1802bChristian MaederConstraintCASL/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucCspCASL.hs
ff41d94839a36ce86291af5d83abe2bd39cce1d0Eugen KuksaCspCASL/
b3138d7e20d2d6dd26a325b844a8b21b0ecbb602Eugen KuksaCspCASLProver.hs
d5c6ddb570942f686319dcaf6c4b513a033e00ceEugen KuksaCspCASLProver/
d5c6ddb570942f686319dcaf6c4b513a033e00ceEugen KuksaDFOL/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucDMU/
f6eb05386b068f5968180b21cc225ef0d7d836e7Eugen KuksaDriver.hs
1ea7fb6b0f66210bc0d3cb995f1b655277b33884Eugen KuksaDriver/
f6eb05386b068f5968180b21cc225ef0d7d836e7Eugen KuksaExtModal.hs
b062631d2f72f0b2b2b6140bc5b0fccb66d1802bChristian MaederExtModal/
b062631d2f72f0b2b2b6140bc5b0fccb66d1802bChristian MaederFpl/
b062631d2f72f0b2b2b6140bc5b0fccb66d1802bChristian MaederFramework.hs
1ea7fb6b0f66210bc0d3cb995f1b655277b33884Eugen KuksaFramework/
1ea7fb6b0f66210bc0d3cb995f1b655277b33884Eugen KuksaFreeCAD/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucGMP/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucGUI.hs
1ea7fb6b0f66210bc0d3cb995f1b655277b33884Eugen KuksaGUI/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucHasCASL.hs
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucHasCASL/
1ea7fb6b0f66210bc0d3cb995f1b655277b33884Eugen KuksaHaskell.hs
1ea7fb6b0f66210bc0d3cb995f1b655277b33884Eugen KuksaHaskell/
1ea7fb6b0f66210bc0d3cb995f1b655277b33884Eugen KuksaHets-Haddock-Prologue.txt
1ea7fb6b0f66210bc0d3cb995f1b655277b33884Eugen KuksaHets.cabal
1ea7fb6b0f66210bc0d3cb995f1b655277b33884Eugen KuksaHolLight/
1ea7fb6b0f66210bc0d3cb995f1b655277b33884Eugen KuksaHybrid.hs
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucHybrid/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucINSTALL
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucInterfaces/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucIsabelle.hs
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucIsabelle/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucLF/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucLICENSE.txt
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucLIZENZ.txt
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucLogic.hs
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucLogic/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucMMT.hs
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucMMT/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucMakefile
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucMakefile.installer
18741eef977546e24fce1fde1b8a8f817aedc6d0Christian MaederMaude/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucModal.hs
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucModal/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucModifications/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucOMDoc.hs
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucOMDoc/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucOWL2.hs
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucOWL2/
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen KuksaOmega/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucPGIP/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucPLpatt/
8b42604fc9e948093bde658f32b8446e9c6a3576Eugen KuksaProofs.hs
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucProofs/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucPropositional.hs
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen KuksaPropositional/
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen KuksaQBF/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucQVTR/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucRDF/
8b42604fc9e948093bde658f32b8446e9c6a3576Eugen KuksaREADME
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucREADME.installer
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucRelationalScheme.hs
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen KuksaRelationalScheme/
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen KuksaReleaseMakefile
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucScratch.hs
8b42604fc9e948093bde658f32b8446e9c6a3576Eugen KuksaSoftFOL.hs
8b42604fc9e948093bde658f32b8446e9c6a3576Eugen KuksaSoftFOL/
8b42604fc9e948093bde658f32b8446e9c6a3576Eugen KuksaStatic.hs
8b42604fc9e948093bde658f32b8446e9c6a3576Eugen KuksaStatic/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucSyntax.hs
8b42604fc9e948093bde658f32b8446e9c6a3576Eugen KuksaSyntax/
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen KuksaTHF/
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen KuksaTaxonomy.hs
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen KuksaTaxonomy/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucTemporal/
8b42604fc9e948093bde658f32b8446e9c6a3576Eugen KuksaToHaskell/
8b42604fc9e948093bde658f32b8446e9c6a3576Eugen KuksaTopHybrid.hs
8b42604fc9e948093bde658f32b8446e9c6a3576Eugen KuksaTopHybrid/
8b42604fc9e948093bde658f32b8446e9c6a3576Eugen KuksaVSE/
8b42604fc9e948093bde658f32b8446e9c6a3576Eugen Kuksaatermlib/
8b42604fc9e948093bde658f32b8446e9c6a3576Eugen Kuksabuild.xml
8b42604fc9e948093bde658f32b8446e9c6a3576Eugen Kuksaclean.lst
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl Lucclean.sh
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen Kuksadoc/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl Luchets.hs
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen Kuksahets.in
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen Kuksaideas
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen Kuksamini/
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen Kuksapretty/
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen Kuksaprogramatica
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen Kuksasample-ghci-script
18741eef977546e24fce1fde1b8a8f817aedc6d0Christian Maedertest/
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen Kuksatodo
18741eef977546e24fce1fde1b8a8f817aedc6d0Christian Maederutils/
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen Kuksavar.mk
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen Kuksaversion_nr
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen Kuksa