c797f343be2f3619bb1f5569753166ec49d27bdbChristian Maederop a : bc

c797f343be2f3619bb1f5569753166ec49d27bdbChristian Maederop a : b -> c

81d182b21020b815887e9057959228546cf61b6bChristian Maederop a: s = e

10397bcc134edbcfbe3ae2c7ea4c6080036aae22Christian Maederop a:? s = e

97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maederops __<__ : a * a -> b;

c797f343be2f3619bb1f5569753166ec49d27bdbChristian Maeder a : b -> c

3f69b6948966979163bdfe8331c38833d5d90ecdChristian Maederop a :? b %(opbla)%

c797f343be2f3619bb1f5569753166ec49d27bdbChristian Maeder %(a)%

e95bbf384f5cbcb7eb23286d5f15dffbd471db17Christian Maeder %(b)%

f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maederop a :? b %(op bla)%

f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maeder %(a)%

462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maeder %(b)%

462ec4b2fa3e0e788eb60dcb4aebc518298f342cChristian Maederop a : b -> c

f454c20b6c126bea7d31d400cc8824b9ee8cc6eaChristian Maederop __<__ : a * a -> b

f454c20b6c126bea7d31d400cc8824b9ee8cc6eaChristian Maederop a : b -> c

9659c509ce5e78adc51d7b02a76274eddcba9338Christian Maederop a : b, assoc, comm, idem, assoc, unit 1, unit -, assoc

f454c20b6c126bea7d31d400cc8824b9ee8cc6eaChristian Maederop a(a :b; a :b; a, b :c):? b = e

0a320bc4cdbf38f480b75ac15a54db1c4885b497Christian Maederops a, bc, d, e : a ->? b, assoc, idem, comm

f454c20b6c126bea7d31d400cc8824b9ee8cc6eaChristian Maederop a :? b

f454c20b6c126bea7d31d400cc8824b9ee8cc6eaChristian Maeder