diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-06-14 09:40:25 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-06-14 09:40:25 +1000 |
| commit | bd7d6db4cee36a3535f8de97c1c0642e1b31106b (patch) | |
| tree | a87ef9e9769ebccc818cc990bdfb99e5998ca95f /ProofGraph.hs | |
| parent | 8ad06c403574b47e8cce845bf3a3816d841777b9 (diff) | |
Changed numbers to be handled specially since they're only used by def/ref/remove
Diffstat (limited to 'ProofGraph.hs')
0 files changed, 0 insertions, 0 deletions