Morphism.hs revision a89389521ddf76109168a0b339031575aafbd512
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegaritree a89389521ddf76109168a0b339031575aafbd512:
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegari
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariATC.hs
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariATC/
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariCASL.hs
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariCASL/
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariCASL_DL.hs
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariCASL_DL/
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariCOL.hs
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariCOL/
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariCoCASL.hs
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariCoCASL/
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariCommon.hs
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariCommon/
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariComorphisms.hs
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariComorphisms/
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariConstraintCASL/
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariCspCASL.hs
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariCspCASL/
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariDriver.hs
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariDriver/
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariGMP/
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariGUI.hs
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariGUI/
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariHasCASL.hs
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariHasCASL/
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariHaskell.hs
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariHaskell/
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariHets-Haddock-Prologue.txt
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariHets.cabal
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariINSTALL
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariIsabelle.hs
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariIsabelle/
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariLICENCE.txt
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariLICENSE.txt
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariLIZENZ.txt
3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariLogic.hs
Logic/
Lottery/
Makefile
Makefile.installer
Modal.hs
Modal/
Modifications/
OMDoc/
OWL_DL.hs
OWL_DL/
PGIP.hs
PGIP/
Proofs.hs
Proofs/
Propositional.hs
Propositional/
README
README.installer
ReleaseMakefile
SoftFOL.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