d5bafd42bc0cadf07032b4e7a1a92d90afb7c973Christian Maederop a : bc

d5bafd42bc0cadf07032b4e7a1a92d90afb7c973Christian Maederop a : b -> c

4def068d5c58a2c07351d99ec3455bc88d5eaa98Christian Maederop a : s = e

4def068d5c58a2c07351d99ec3455bc88d5eaa98Christian Maederop a :? s = e

d5bafd42bc0cadf07032b4e7a1a92d90afb7c973Christian Maederops __<__ : a * a -> b;

d5bafd42bc0cadf07032b4e7a1a92d90afb7c973Christian Maeder a : b -> c

d5bafd42bc0cadf07032b4e7a1a92d90afb7c973Christian Maederop a :? b %(opbla)%

d5bafd42bc0cadf07032b4e7a1a92d90afb7c973Christian Maeder %(a)%

d5bafd42bc0cadf07032b4e7a1a92d90afb7c973Christian Maeder %(b)%

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

d5bafd42bc0cadf07032b4e7a1a92d90afb7c973Christian Maeder %(a)%

d5bafd42bc0cadf07032b4e7a1a92d90afb7c973Christian Maeder %(b)%

d5bafd42bc0cadf07032b4e7a1a92d90afb7c973Christian Maederop a : b -> c

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

d5bafd42bc0cadf07032b4e7a1a92d90afb7c973Christian Maederop a : b -> c

d5bafd42bc0cadf07032b4e7a1a92d90afb7c973Christian Maederop a : b, assoc, comm, idem, assoc, unit 1, unit -, assoc

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

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

d5bafd42bc0cadf07032b4e7a1a92d90afb7c973Christian Maederop a :? b

4def068d5c58a2c07351d99ec3455bc88d5eaa98Christian Maederop e : a = e == e