hets/Logic/Morphism.hs

	Morphism.hs revision d17834302eaa101395b4b806cd73670fd864445f


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
4a159061fa3c22518e052929b7211112247756baishmaltree d17834302eaa101395b4b806cd73670fd864445f:
4a159061fa3c22518e052929b7211112247756baishmal
4a159061fa3c22518e052929b7211112247756baishmalATC/
4a159061fa3c22518e052929b7211112247756baishmalCASL/
4a159061fa3c22518e052929b7211112247756baishmalCoCASL/
4a159061fa3c22518e052929b7211112247756baishmalCommon/
4a159061fa3c22518e052929b7211112247756baishmalComorphisms/
4a159061fa3c22518e052929b7211112247756baishmalCspCASL/
4a159061fa3c22518e052929b7211112247756baishmalGUI/
2c472af093c1b2f36497c25891fa7910c16acf7dishmalHasCASL/
4a159061fa3c22518e052929b7211112247756baishmalHaskell/
4a159061fa3c22518e052929b7211112247756baishmalINSTALL
4a159061fa3c22518e052929b7211112247756baishmalIsabelle/
4a159061fa3c22518e052929b7211112247756baishmalLICENCE.txt
4a159061fa3c22518e052929b7211112247756baishmalLIZENZ.txt
4a159061fa3c22518e052929b7211112247756baishmalLogic/
4a159061fa3c22518e052929b7211112247756baishmalLottery/
4a159061fa3c22518e052929b7211112247756baishmalMakefile
4a159061fa3c22518e052929b7211112247756baishmalModal/
4a159061fa3c22518e052929b7211112247756baishmalProofs/
4a159061fa3c22518e052929b7211112247756baishmalREADME
4a159061fa3c22518e052929b7211112247756baishmalReleaseMakefile
4a159061fa3c22518e052929b7211112247756baishmalStatic/
4a159061fa3c22518e052929b7211112247756baishmalSyntax/
4a159061fa3c22518e052929b7211112247756baishmalTest.hs
4a159061fa3c22518e052929b7211112247756baishmalToHaskell/
4a159061fa3c22518e052929b7211112247756baishmalclean.lst
4a159061fa3c22518e052929b7211112247756baishmalclean.sh
4a159061fa3c22518e052929b7211112247756baishmaldoc/
4a159061fa3c22518e052929b7211112247756baishmaldocs/
4a159061fa3c22518e052929b7211112247756baishmalghc/
4a159061fa3c22518e052929b7211112247756baishmalhaterm-1.0/
4a159061fa3c22518e052929b7211112247756baishmalhetcats/
50218afb03b572a35f2db96b249410e755a869dfjaspervdghets.hs
cac9aa6475006090bd6d3a75e4964d1af6805266ishmalhugs/
5469721c1092af35a9250a24eaf3b637f8b96481ishmalideas
5469721c1092af35a9250a24eaf3b637f8b96481ishmalinstall.sh
5469721c1092af35a9250a24eaf3b637f8b96481ishmalmini/
ef3d1bedb792a315f35d58f85770bfea33c7482aishmaltest/
ef3d1bedb792a315f35d58f85770bfea33c7482aishmaltodo
ef3d1bedb792a315f35d58f85770bfea33c7482aishmalutils/
cac9aa6475006090bd6d3a75e4964d1af6805266ishmalversion_nr
cac9aa6475006090bd6d3a75e4964d1af6805266ishmal