compat revision 21155e63bac193abc764d791360132392eb79c4d
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till Mossakowskitree 21155e63bac193abc764d791360132392eb79c4d:
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till Mossakowski
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till Mossakowski.gitignore
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till Mossakowski.travis.yml
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiATC.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiATC/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiAdl/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiCASL.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiCASL/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiCASL_DL.hs
1549f3abf73c1122acff724f718b615c82fa3648Till MossakowskiCASL_DL/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiCMDL.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiCMDL/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiCOL.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiCOL/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiCSL/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiCSMOF/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiCoCASL.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiCoCASL/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiCommon.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiCommon/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiCommonLogic/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiComorphisms.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiComorphisms/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiConstraintCASL/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiCspCASL.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiCspCASL/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiCspCASLProver.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiCspCASLProver/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiDFOL/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiDMU/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiDriver.hs
1549f3abf73c1122acff724f718b615c82fa3648Till MossakowskiDriver/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiExtModal.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiExtModal/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiFpl/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiFramework.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiFramework/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiFreeCAD/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiGMP/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiGUI.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiGUI/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiHasCASL.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiHasCASL/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiHaskell.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiHaskell/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiHets-Haddock-Prologue.txt
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiHets.cabal
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiHolLight/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiHybrid.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiHybrid/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiINSTALL
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiInterfaces/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiIsabelle.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiIsabelle/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiLF/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiLICENSE.txt
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiLIZENZ.txt
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiLogic.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiLogic/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiMMT.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiMMT/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiMakefile
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiMakefile.installer
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiMaude/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiModal.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiModal/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiModifications/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiOMDoc.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiOMDoc/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiOWL2.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiOWL2/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiOmega/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiPGIP/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiPLpatt/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiProofs.hs
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiProofs/
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5Till MossakowskiPropositional.hs
1549f3abf73c1122acff724f718b615c82fa3648Till MossakowskiPropositional/
1549f3abf73c1122acff724f718b615c82fa3648Till MossakowskiQBF/
1549f3abf73c1122acff724f718b615c82fa3648Till MossakowskiQVTR/
RDF/
README
README.installer
README.md
RelationalScheme.hs
RelationalScheme/
ReleaseMakefile
Scratch.hs
SoftFOL.hs
SoftFOL/
Static.hs
Static/
Syntax.hs
Syntax/
THF/
Taxonomy.hs
Taxonomy/
Temporal/
ToHaskell/
TopHybrid.hs
TopHybrid/
UbuntuMakefile
VSE/
atermlib/
build.xml
clean.lst
clean.sh
doc/
hets.hs
hets.in
ideas
magic/
mini/
pretty/
programatica
sample-ghci-script
test/
todo
utils/
var.mk
version_nr