Cross Reference: Kinds.hascasl.output
xref
: /
hets
/
HasCASL
/
test
/
Kinds.hascasl.output
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
Kinds.hascasl.output revision fa1cbc8327acea14fc0117e8e48c5fad2b7fd3fd
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237f
Christian Maeder
Type
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237f
Christian Maeder
a
81d182b21020b815887e9057959228546cf61b6b
Christian Maeder
a -> b
62ecb1e7f8fd9573eea8369657de12c7bf9f4f25
Christian Maeder
a -> b -> c
97018cf5fa25b494adffd7e9b4e87320dae6bf47
Christian Maeder
a
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237f
Christian Maeder
a -> b -> c
3f69b6948966979163bdfe8331c38833d5d90ecd
Christian Maeder
(a -> b) -> c
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237f
Christian Maeder
+(a -> b) -> c
fbb66ee3e170624835b99f7aa91980753cb5b472
Christian Maeder
+(-a -> b) -> c
f3a94a197960e548ecd6520bb768cb0d547457bb
Christian Maeder