MixfixTerms.hascasl revision 0427858b4ffac1f5f67ddcc0ace7e89511410bff
- a !
a + a
not a = a
not a + a
not s a + a
not s(n) <= 0
def s(n) <= 0
not a => b
not s a => s b
a + def a
def a = b
def not a = a
a = not a