Makefile revision 1cd4f6541984962658add5cfaa9f28a93879881b
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid Lunatree 1cd4f6541984962658add5cfaa9f28a93879881b:
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid Luna
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaATC.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaATC/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaCASL.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaCASL/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaCASL_DL.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaCASL_DL/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaCMDL.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaCMDL/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaCOL.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaCOL/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaCoCASL.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaCoCASL/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaCommon.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaCommon/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaCommonLogic/
144a7705ac5eb55647221bd08f966981330783b9David LunaComorphisms.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaComorphisms/
144a7705ac5eb55647221bd08f966981330783b9David LunaConstraintCASL/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaConstraints/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaCspCASL.hs
144a7705ac5eb55647221bd08f966981330783b9David LunaCspCASL/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaCspCASLProver.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaCspCASLProver/
70d95e64853f481e2220f74b9c20f5a8040845a2David LunaDFOL/
144a7705ac5eb55647221bd08f966981330783b9David LunaDMU/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaDriver.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaDriver/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaExtModal.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaExtModal/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaGMP/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaGUI.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaGUI/
70d95e64853f481e2220f74b9c20f5a8040845a2David LunaHasCASL.hs
70d95e64853f481e2220f74b9c20f5a8040845a2David LunaHasCASL/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaHaskell.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaHaskell/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaHets-Haddock-Prologue.txt
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaHets.cabal
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaINSTALL
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaInterfaces/
144a7705ac5eb55647221bd08f966981330783b9David LunaIsabelle.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaIsabelle/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaLF/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaLICENSE.txt
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaLIZENZ.txt
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaLogic.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaLogic/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaLottery/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaMakefile
70d95e64853f481e2220f74b9c20f5a8040845a2David LunaMakefile.installer
70d95e64853f481e2220f74b9c20f5a8040845a2David LunaMaude/
70d95e64853f481e2220f74b9c20f5a8040845a2David LunaModal.hs
70d95e64853f481e2220f74b9c20f5a8040845a2David LunaModal/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaModifications/
144a7705ac5eb55647221bd08f966981330783b9David LunaOMDoc.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaOMDoc/
70d95e64853f481e2220f74b9c20f5a8040845a2David LunaOWL.hs
144a7705ac5eb55647221bd08f966981330783b9David LunaOWL/
144a7705ac5eb55647221bd08f966981330783b9David LunaOmega/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaPGIP/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaProofs.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaProofs/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaPropositional.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaPropositional/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaQBF/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaREADME
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaREADME.installer
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaReduce/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaRelationalScheme.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaRelationalScheme/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaReleaseMakefile
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaSearch/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaSoftFOL.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaSoftFOL/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaStatic.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaStatic/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaSyntax/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaTaxonomy.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaTaxonomy/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaTemporal/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaTest.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaToHaskell/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid LunaVSE/
144a7705ac5eb55647221bd08f966981330783b9David Lunaatermlib/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid Lunabuild.xml
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid Lunaclean.lst
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid Lunaclean.sh
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid Lunadoc/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid Lunahets.hs
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid Lunahets.in
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid Lunaideas
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid Lunamini/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid Lunapretty/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid Lunasample-ghci-script
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid Lunatest/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid Lunatodo
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid Lunautils/
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid Lunavar.mk
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid Lunaversion_nr
536ce7533c1061dab2917bf35d914dbc7c6cc70fDavid Luna