Options.hs revision df86c42574168135e8e2af9cf468fae774874cd0
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniaktree df86c42574168135e8e2af9cf468fae774874cd0:
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniak
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakATC.hs
25ed62dce99fb4e35a6e8df83b948f877db22393ndATC/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakCASL.hs
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakCASL/
031b91a62d25106ae69d4693475c79618dd5e884fieldingCASL_DL.hs
031b91a62d25106ae69d4693475c79618dd5e884fieldingCASL_DL/
031b91a62d25106ae69d4693475c79618dd5e884fieldingCMDL.hs
031b91a62d25106ae69d4693475c79618dd5e884fieldingCMDL/
031b91a62d25106ae69d4693475c79618dd5e884fieldingCOL.hs
031b91a62d25106ae69d4693475c79618dd5e884fieldingCOL/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakCSL/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakCoCASL.hs
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakCoCASL/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakCommon.hs
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakCommon/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakCommonLogic/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakComorphisms.hs
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakComorphisms/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakConstraintCASL/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakConstraints/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakCspCASL.hs
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakCspCASL/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakCspCASLProver.hs
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakCspCASLProver/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakDFOL/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakDMU/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakDriver.hs
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakDriver/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakExtModal.hs
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakExtModal/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakFramework/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakGMP/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakGUI.hs
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakGUI/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakHasCASL.hs
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakHasCASL/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakHaskell.hs
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakHaskell/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakHets-Haddock-Prologue.txt
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakHets.cabal
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakINSTALL
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakInterfaces/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakIsabelle.hs
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakIsabelle/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakLF/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakLICENSE.txt
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakLIZENZ.txt
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakLogic.hs
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakLogic/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakLottery/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakMakefile
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakMakefile.installer
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakMaude/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakModal.hs
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakModal/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakModifications/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakOMDoc.hs
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakOMDoc/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakOWL.hs
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakOWL/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakOmega/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakPGIP/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakProofs.hs
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakProofs/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakPropositional.hs
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakPropositional/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakQBF/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakREADME
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakREADME.installer
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakRelationalScheme.hs
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakRelationalScheme/
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakReleaseMakefile
5652dbe450e4fcfdf36d4cfb42d7f2345ded29a4maczniakSearch/
SoftFOL.hs
SoftFOL/
Static.hs
Static/
Syntax/
Taxonomy.hs
Taxonomy/
Temporal/
Test.hs
ToHaskell/
VSE/
atermlib/
build.xml
clean.lst
clean.sh
doc/
hets.hs
hets.in
ideas
mini/
pretty/
programatica
sample-ghci-script
test/
todo
utils/
var.mk
version_nr