hets/Common/Morphism.hs

	Morphism.hs revision 2dfc7b04f2db681992ca04175f2beb0f127c9844
2c786597c67139f4536078aee9c5ef08378908c2ndtree 2dfc7b04f2db681992ca04175f2beb0f127c9844:
2c786597c67139f4536078aee9c5ef08378908c2nd
fd9abdda70912b99b24e3bf1a38f26fde908a74cndATC/
fd9abdda70912b99b24e3bf1a38f26fde908a74cndCASL/
fd9abdda70912b99b24e3bf1a38f26fde908a74cndCOL/
2c786597c67139f4536078aee9c5ef08378908c2ndCoCASL/
2c786597c67139f4536078aee9c5ef08378908c2ndCommon/
2c786597c67139f4536078aee9c5ef08378908c2ndComorphisms/
2c786597c67139f4536078aee9c5ef08378908c2ndCspCASL/
96ad5d81ee4a2cc66a4ae19893efc8aa6d06fae7jailletcGUI/
2c786597c67139f4536078aee9c5ef08378908c2ndHasCASL/
2c786597c67139f4536078aee9c5ef08378908c2ndHaskell/
2c786597c67139f4536078aee9c5ef08378908c2ndINSTALL
2e545ce2450a9953665f701bb05350f0d3f26275ndIsabelle/
2c786597c67139f4536078aee9c5ef08378908c2ndLICENCE.txt
2c786597c67139f4536078aee9c5ef08378908c2ndLIZENZ.txt
2c786597c67139f4536078aee9c5ef08378908c2ndLogic/
2c786597c67139f4536078aee9c5ef08378908c2ndLottery/
2c786597c67139f4536078aee9c5ef08378908c2ndMakefile
2c786597c67139f4536078aee9c5ef08378908c2ndModal/
2c786597c67139f4536078aee9c5ef08378908c2ndProofs/
2c786597c67139f4536078aee9c5ef08378908c2ndREADME
2c786597c67139f4536078aee9c5ef08378908c2ndReleaseMakefile
2c786597c67139f4536078aee9c5ef08378908c2ndStatic/
2c786597c67139f4536078aee9c5ef08378908c2ndSyntax/
2c786597c67139f4536078aee9c5ef08378908c2ndTest.hs
2c786597c67139f4536078aee9c5ef08378908c2ndToHaskell/
2c786597c67139f4536078aee9c5ef08378908c2ndclean.lst
2c786597c67139f4536078aee9c5ef08378908c2ndclean.sh
2c786597c67139f4536078aee9c5ef08378908c2nddoc/
2c786597c67139f4536078aee9c5ef08378908c2nddocs/
2c786597c67139f4536078aee9c5ef08378908c2ndghc/
2c786597c67139f4536078aee9c5ef08378908c2ndhaterm-1.0/
2c786597c67139f4536078aee9c5ef08378908c2ndhetcats/
2c786597c67139f4536078aee9c5ef08378908c2ndhets.hs
2c786597c67139f4536078aee9c5ef08378908c2ndhugs/
2c786597c67139f4536078aee9c5ef08378908c2ndideas
2c786597c67139f4536078aee9c5ef08378908c2ndinstall.sh
2c786597c67139f4536078aee9c5ef08378908c2ndmini/
2c786597c67139f4536078aee9c5ef08378908c2ndtest/
2c786597c67139f4536078aee9c5ef08378908c2ndtodo
2c786597c67139f4536078aee9c5ef08378908c2ndutils/
2c786597c67139f4536078aee9c5ef08378908c2ndversion_nr
2c786597c67139f4536078aee9c5ef08378908c2nd