hets.hs revision f63e7684d8db7503c22e5d8d499c94a9405f8f9e
b062631d2f72f0b2b2b6140bc5b0fccb66d1802bChristian Maedertree f63e7684d8db7503c22e5d8d499c94a9405f8f9e:
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/
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaConstraintCASL/
d1e1be2881bf54b507313a6a2b4a254090cd92b7Eugen KuksaCspCASL.hs
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaCspCASL/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucCspCASLProver.hs
ff41d94839a36ce86291af5d83abe2bd39cce1d0Eugen KuksaCspCASLProver/
b3138d7e20d2d6dd26a325b844a8b21b0ecbb602Eugen KuksaDFOL/
d5c6ddb570942f686319dcaf6c4b513a033e00ceEugen KuksaDMU/
d5c6ddb570942f686319dcaf6c4b513a033e00ceEugen KuksaDriver.hs
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucDriver/
f6eb05386b068f5968180b21cc225ef0d7d836e7Eugen KuksaExtModal.hs
1ea7fb6b0f66210bc0d3cb995f1b655277b33884Eugen KuksaExtModal/
b062631d2f72f0b2b2b6140bc5b0fccb66d1802bChristian MaederFpl/
b062631d2f72f0b2b2b6140bc5b0fccb66d1802bChristian MaederFramework.hs
1ea7fb6b0f66210bc0d3cb995f1b655277b33884Eugen KuksaFramework/
1ea7fb6b0f66210bc0d3cb995f1b655277b33884Eugen KuksaFreeCAD/
befbd45c1a4c171f2194b59016590b02bf4df750Eugen KuksaGMP/
befbd45c1a4c171f2194b59016590b02bf4df750Eugen KuksaGUI.hs
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaGUI/
befbd45c1a4c171f2194b59016590b02bf4df750Eugen KuksaHasCASL.hs
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaHasCASL/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucHaskell.hs
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaHaskell/
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaHets-Haddock-Prologue.txt
befbd45c1a4c171f2194b59016590b02bf4df750Eugen KuksaHets.cabal
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaHolLight/
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaHybrid.hs
a8ddb13beb092672c9f537ef1cf2e14f1f8a8f26Eugen KuksaHybrid/
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaINSTALL
1ea7fb6b0f66210bc0d3cb995f1b655277b33884Eugen KuksaInterfaces/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucIsabelle.hs
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaIsabelle/
befbd45c1a4c171f2194b59016590b02bf4df750Eugen KuksaLF/
8b7e9bd07700b2fef4312835be342250347ad849Eugen KuksaLICENSE.txt
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaLIZENZ.txt
0c4da1aef47757166486f7aa0b037ffa30b840cdEugen KuksaLogic.hs
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucLogic/
8b7e9bd07700b2fef4312835be342250347ad849Eugen KuksaMMT.hs
0c4da1aef47757166486f7aa0b037ffa30b840cdEugen KuksaMMT/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucMakefile
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaMakefile.installer
d1e1be2881bf54b507313a6a2b4a254090cd92b7Eugen KuksaMaude/
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaModal.hs
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaModal/
0c4da1aef47757166486f7aa0b037ffa30b840cdEugen KuksaModifications/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucOMDoc.hs
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucOMDoc/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucOWL2.hs
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucOWL2/
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaOmega/
64401a16f05d2b42fa52301ec3ce01569e2a8e19Eugen KuksaPGIP/
d1e1be2881bf54b507313a6a2b4a254090cd92b7Eugen KuksaPLpatt/
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaProofs.hs
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucProofs/
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaPropositional.hs
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen KuksaPropositional/
d1e1be2881bf54b507313a6a2b4a254090cd92b7Eugen KuksaQBF/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucQVTR/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucRDF/
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaREADME
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen KuksaREADME.installer
d1e1be2881bf54b507313a6a2b4a254090cd92b7Eugen KuksaREADME.md
befbd45c1a4c171f2194b59016590b02bf4df750Eugen KuksaRelationalScheme.hs
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaRelationalScheme/
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaReleaseMakefile
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaScratch.hs
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaSoftFOL.hs
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaSoftFOL/
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaStatic.hs
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaStatic/
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaSyntax.hs
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaSyntax/
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaTHF/
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaTaxonomy.hs
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaTaxonomy/
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaTemporal/
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaToHaskell/
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaTopHybrid.hs
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl LucTopHybrid/
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen KuksaUbuntuMakefile
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen KuksaVSE/
befbd45c1a4c171f2194b59016590b02bf4df750Eugen Kuksaatermlib/
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen Kuksabuild.xml
64401a16f05d2b42fa52301ec3ce01569e2a8e19Eugen Kuksaclean.lst
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl Lucclean.sh
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen Kuksadoc/
0c4da1aef47757166486f7aa0b037ffa30b840cdEugen Kuksahets.hs
8b42604fc9e948093bde658f32b8446e9c6a3576Eugen Kuksahets.in
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl Lucideas
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen Kuksamini/
07f731e693fe433a238b5cc0aab6c5c99c1da798Karl Lucpretty/
befbd45c1a4c171f2194b59016590b02bf4df750Eugen Kuksaprogramatica
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen Kuksasample-ghci-script
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen Kuksatest/
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen Kuksatodo
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen Kuksautils/
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2Eugen Kuksavar.mk
18741eef977546e24fce1fde1b8a8f817aedc6d0Christian Maederversion_nr
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5Eugen Kuksa