CASL/test/Morphism.hs

	Morphism.hs revision b72a390042c19e630cf221494b60c9df2a60d187
af84459fbf938e508fd10b01cb8d699c79083813takashitree b72a390042c19e630cf221494b60c9df2a60d187:
af84459fbf938e508fd10b01cb8d699c79083813takashi
af84459fbf938e508fd10b01cb8d699c79083813takashiATC.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiATC/
af84459fbf938e508fd10b01cb8d699c79083813takashiCASL.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiCASL/
af84459fbf938e508fd10b01cb8d699c79083813takashiCASL_DL.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiCASL_DL/
af84459fbf938e508fd10b01cb8d699c79083813takashiCOL.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiCOL/
af84459fbf938e508fd10b01cb8d699c79083813takashiCoCASL.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiCoCASL/
af84459fbf938e508fd10b01cb8d699c79083813takashiCommon.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiCommon/
af84459fbf938e508fd10b01cb8d699c79083813takashiComorphisms.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiComorphisms/
af84459fbf938e508fd10b01cb8d699c79083813takashiConstraintCASL/
af84459fbf938e508fd10b01cb8d699c79083813takashiCspCASL.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiCspCASL/
af84459fbf938e508fd10b01cb8d699c79083813takashiDriver.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiDriver/
af84459fbf938e508fd10b01cb8d699c79083813takashiGUI.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiGUI/
af84459fbf938e508fd10b01cb8d699c79083813takashiHasCASL.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiHasCASL/
af84459fbf938e508fd10b01cb8d699c79083813takashiHaskell.hs
cd6c8de3bedcc401ee230159b0439fa20f44488etakashiHaskell/
af84459fbf938e508fd10b01cb8d699c79083813takashiHets-Haddock-Prologue.txt
af84459fbf938e508fd10b01cb8d699c79083813takashiINSTALL
af84459fbf938e508fd10b01cb8d699c79083813takashiIsabelle.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiIsabelle/
af84459fbf938e508fd10b01cb8d699c79083813takashiLICENCE.txt
af84459fbf938e508fd10b01cb8d699c79083813takashiLICENSE.txt
af84459fbf938e508fd10b01cb8d699c79083813takashiLIZENZ.txt
af84459fbf938e508fd10b01cb8d699c79083813takashiLogic.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiLogic/
af84459fbf938e508fd10b01cb8d699c79083813takashiLottery/
af84459fbf938e508fd10b01cb8d699c79083813takashiMakefile
af84459fbf938e508fd10b01cb8d699c79083813takashiMakefile.installer
af84459fbf938e508fd10b01cb8d699c79083813takashiModal.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiModal/
af84459fbf938e508fd10b01cb8d699c79083813takashiOMDoc/
af84459fbf938e508fd10b01cb8d699c79083813takashiOWL_DL.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiOWL_DL/
af84459fbf938e508fd10b01cb8d699c79083813takashiPGIP.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiPGIP/
af84459fbf938e508fd10b01cb8d699c79083813takashiProofs.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiProofs/
af84459fbf938e508fd10b01cb8d699c79083813takashiPropositional.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiPropositional/
af84459fbf938e508fd10b01cb8d699c79083813takashiREADME
af84459fbf938e508fd10b01cb8d699c79083813takashiReleaseMakefile
cd6c8de3bedcc401ee230159b0439fa20f44488etakashiSPASS.hs
cd6c8de3bedcc401ee230159b0439fa20f44488etakashiSPASS/
af84459fbf938e508fd10b01cb8d699c79083813takashiStatic.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiStatic/
af84459fbf938e508fd10b01cb8d699c79083813takashiSyntax/
af84459fbf938e508fd10b01cb8d699c79083813takashiTaxonomy.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiTaxonomy/
af84459fbf938e508fd10b01cb8d699c79083813takashiTest.hs
af84459fbf938e508fd10b01cb8d699c79083813takashiToHaskell/
af84459fbf938e508fd10b01cb8d699c79083813takashiclean.lst
af84459fbf938e508fd10b01cb8d699c79083813takashiclean.sh
af84459fbf938e508fd10b01cb8d699c79083813takashicvs-howto
af84459fbf938e508fd10b01cb8d699c79083813takashidoc/
af84459fbf938e508fd10b01cb8d699c79083813takashihaifa-lite/
af84459fbf938e508fd10b01cb8d699c79083813takashihets.hs
af84459fbf938e508fd10b01cb8d699c79083813takashihets.in
af84459fbf938e508fd10b01cb8d699c79083813takashihxt/
af84459fbf938e508fd10b01cb8d699c79083813takashiideas
af84459fbf938e508fd10b01cb8d699c79083813takashimini/
af84459fbf938e508fd10b01cb8d699c79083813takashipretty/
af84459fbf938e508fd10b01cb8d699c79083813takashisyb-generics/
af84459fbf938e508fd10b01cb8d699c79083813takashitest/
af84459fbf938e508fd10b01cb8d699c79083813takashitodo
af84459fbf938e508fd10b01cb8d699c79083813takashiutils/
af84459fbf938e508fd10b01cb8d699c79083813takashiversion_nr
af84459fbf938e508fd10b01cb8d699c79083813takashi