diff options
author | Jed Barber <jjbarber@y7mail.com> | 2012-05-29 08:54:03 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2012-05-29 08:54:03 +1000 |
commit | 76d35ac9c971be42a7231050a3b7bdfbb79156f3 (patch) | |
tree | 492035b3e86d366379073bcaa78f20e498af6a8c /Term.hs | |
parent | 78ef2b4d5ba2bd9d4b2faa45cb71f62faea35209 (diff) |
Tests for number, assume, axiom, alphaEquiv
Diffstat (limited to 'Term.hs')
0 files changed, 0 insertions, 0 deletions