Grounding.owl revision a6db617ca58eb6a0587b6366e913107dfecb71b5
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedertree a6db617ca58eb6a0587b6366e913107dfecb71b5:
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederATC.hs
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederATC/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederCASL.hs
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederCASL/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederCASL_DL.hs
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederCASL_DL/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederCOL.hs
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederCOL/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederCoCASL.hs
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederCoCASL/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederCommon.hs
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederCommon/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederComorphisms.hs
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederComorphisms/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederConstraintCASL/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederCspCASL.hs
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederCspCASL/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederDriver.hs
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederDriver/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederGMP/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederGUI.hs
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederGUI/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederHasCASL.hs
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederHasCASL/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederHaskell.hs
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederHaskell/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederHets-Haddock-Prologue.txt
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederHets.cabal
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederINSTALL
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederIsabelle.hs
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederIsabelle/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederLICENCE.txt
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederLICENSE.txt
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederLIZENZ.txt
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederLogic.hs
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederLogic/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederLottery/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederMakefile
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederMakefile.installer
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederModal.hs
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederModal/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederModifications/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederOMDoc/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederOWL/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederOWL_DL.hs
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederPGIP.hs
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederPGIP/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederProofs.hs
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederProofs/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederPropositional.hs
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederPropositional/
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederREADME
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederREADME.installer
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederReleaseMakefile
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederSoftFOL.hs
SoftFOL/
Static.hs
Static/
Syntax/
Taxonomy.hs
Taxonomy/
Test.hs
ToHaskell/
clean.lst
clean.sh
doc/
haifa-lite/
hets.hs
hets.in
ideas
mini/
pretty/
sample-ghci-script
syb-generics/
test/
todo
utils/
version_nr