Coerce.hs revision 3a6c7a7ff823616f56cd3d205fc44664a683effd
3bff7aaa07a352bd10cc96781a2a5334beef9868Till Mossakowskitree 3a6c7a7ff823616f56cd3d205fc44664a683effd:
3bff7aaa07a352bd10cc96781a2a5334beef9868Till Mossakowski
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiATC.hs
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiATC/
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiCASL.hs
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiCASL/
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiCASL_DL.hs
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiCASL_DL/
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiCOL.hs
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiCOL/
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiCoCASL.hs
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiCoCASL/
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiCommon.hs
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiCommon/
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiComorphisms.hs
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiComorphisms/
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiConstraintCASL/
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiCspCASL.hs
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiCspCASL/
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiDL.hs
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiDL/
31bc219bae758272d0f064281b8ce7740a4553e9Till MossakowskiDriver.hs
31bc219bae758272d0f064281b8ce7740a4553e9Till MossakowskiDriver/
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiGMP/
31bc219bae758272d0f064281b8ce7740a4553e9Till MossakowskiGUI.hs
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiGUI/
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiHasCASL.hs
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiHasCASL/
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiHaskell.hs
31bc219bae758272d0f064281b8ce7740a4553e9Till MossakowskiHaskell/
31bc219bae758272d0f064281b8ce7740a4553e9Till MossakowskiHets-Haddock-Prologue.txt
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiHets.cabal
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiINSTALL
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiIsabelle.hs
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiIsabelle/
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiLICENSE.txt
65853214a355ddc2fc7e4f1edc5ee8d05947b84aTill MossakowskiLIZENZ.txt
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiLogic.hs
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiLogic/
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiLottery/
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiMakefile
3bff7aaa07a352bd10cc96781a2a5334beef9868Till MossakowskiMakefile.installer
Maude/
Modal.hs
Modal/
Modifications/
OMDoc.hs
OMDoc/
OWL.hs
OWL/
PGIP.hs
PGIP/
Proofs.hs
Proofs/
Propositional.hs
Propositional/
README
README.installer
RelationalScheme.hs
RelationalScheme/
ReleaseMakefile
Search/
SoftFOL.hs
SoftFOL/
Static.hs
Static/
Syntax/
Taxonomy.hs
Taxonomy/
Test.hs
ToHaskell/
VSE/
clean.lst
clean.sh
doc/
haifa-lite/
hets.hs
hets.in
ideas
mini/
pretty/
sample-ghci-script
syb-generics/
test/
todo
utils/
version_nr