hets/OWL2/Morphism.hs

	Morphism.hs revision 5b2e9f4673599e1bc6e18a43ad615da28305b8e1
460N/Atree 5b2e9f4673599e1bc6e18a43ad615da28305b8e1:
460N/A
460N/AATC.hs
460N/AATC/
460N/ACASL.hs
460N/ACASL/
460N/ACASL_DL.hs
460N/ACASL_DL/
460N/ACOL.hs
460N/ACOL/
460N/ACoCASL.hs
460N/ACoCASL/
460N/ACommon.hs
460N/ACommon/
460N/AComorphisms.hs
460N/AComorphisms/
460N/AConstraintCASL/
460N/ACspCASL.hs
460N/ACspCASL/
460N/ADL.hs
460N/ADL/
460N/ADriver.hs
5649N/ADriver/
460N/AGMP/
5680N/AGUI.hs
460N/AGUI/
460N/AHasCASL.hs
7397N/AHasCASL/
7397N/AHaskell.hs
7397N/AHaskell/
7397N/AHets-Haddock-Prologue.txt
7397N/AHets.cabal
7397N/AINSTALL
7397N/AIsabelle.hs
7397N/AIsabelle/
7397N/ALICENSE.txt
7397N/ALIZENZ.txt
7397N/ALogic.hs
7397N/ALogic/
7397N/ALottery/
5649N/AMakefile
783N/AMakefile.installer
1244N/AMaude/
1472N/AModal.hs
618N/AModal/
1244N/AModifications/
844N/AOMDoc.hs
1472N/AOMDoc/
460N/AOWL.hs
1258N/AOWL/
460N/APGIP.hs
7397N/APGIP/
7397N/AProofs.hs
7397N/AProofs/
7397N/APropositional.hs
5680N/APropositional/
460N/AREADME
460N/AREADME.installer
460N/ARelationalScheme.hs
1472N/ARelationalScheme/
1472N/AReleaseMakefile
1472N/ASearch/
1472N/ASoftFOL.hs
1472N/ASoftFOL/
7397N/AStatic.hs
1472N/AStatic/
460N/ASyntax/
460N/ATaxonomy.hs
460N/ATaxonomy/
460N/ATest.hs
460N/AToHaskell/
1472N/AVSE/
1472N/Aclean.lst
1472N/Aclean.sh
1472N/Adoc/
7397N/Ahaifa-lite/
1472N/Ahets.hs
460N/Ahets.in
460N/Aideas
460N/Amini/
460N/Apretty/
5680N/Asample-ghci-script
460N/Asyb-generics/
460N/Atest/
460N/Atodo
460N/Autils/
460N/Aversion_nr
5649N/A