Morphism.hs revision f21c7417bdd1c0282025cba0f5cb0ff5bc5c98ee
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzortree f21c7417bdd1c0282025cba0f5cb0ff5bc5c98ee:
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzor
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorATC.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorATC/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorAdl/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorCASL.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorCASL/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorCASL_DL.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorCASL_DL/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorCMDL.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorCMDL/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorCOL.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorCOL/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorCSL/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorCoCASL.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorCoCASL/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorCommon.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorCommon/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorCommonLogic/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorComorphisms.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorComorphisms/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorConstraintCASL/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorCspCASL.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorCspCASL/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorCspCASLProver.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorCspCASLProver/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorDFOL/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorDMU/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorDriver.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorDriver/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorExtModal.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorExtModal/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorFpl/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorFramework.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorFramework/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorFreeCAD/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorGMP/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorGUI.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorGUI/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorHasCASL.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorHasCASL/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorHaskell.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorHaskell/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorHets-Haddock-Prologue.txt
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorHets.cabal
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorHolLight/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorINSTALL
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorInterfaces/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorIsabelle.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorIsabelle/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorLF/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorLICENSE.txt
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorLIZENZ.txt
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorLogic.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorLogic/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorLottery/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorMakefile
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorMakefile.installer
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorMaude/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorModal.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorModal/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorModifications/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorOMDoc.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorOMDoc/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorOWL.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorOWL/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorOWL2/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorOmega/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorPGIP/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorProofs.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorProofs/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorPropositional.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorPropositional/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorQBF/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorREADME
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorREADME.installer
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorRelationalScheme.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorRelationalScheme/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorReleaseMakefile
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorScratch.hs
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorSearch/
8928b6e739f1de5efcfa2a258f2cee76b52c6dfdgryzorSoftFOL.hs
SoftFOL/
Static.hs
Static/
Syntax/
THF/
Taxonomy.hs
Taxonomy/
Temporal/
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