diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-05-08 22:16:09 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-05-08 22:16:09 +1000 |
| commit | 8b9a9d2ce14159541de1a0a7a7ef533c1983a516 (patch) | |
| tree | ff0ece6f82447bbe03e74cd07ca577d7b48781b3 /Theorem.hs | |
| parent | ffdef9e0462d00ce0286af4705a0e1292df60ad7 (diff) | |
Names processed properly
Diffstat (limited to 'Theorem.hs')
0 files changed, 0 insertions, 0 deletions