diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-06-14 09:27:08 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-06-14 09:27:08 +1000 |
| commit | 9cd2944ce482eeb2ac91b415023189fe10c66ec1 (patch) | |
| tree | e1ea912c0f9d0e0d7f0494816bd1985b5d6b17d6 /ProofGraph.hs | |
| parent | 533dcc1b4ab16bf167a8f9b08000be30cd0a39c2 (diff) | |
Fixed bug with remove/ref
Diffstat (limited to 'ProofGraph.hs')
0 files changed, 0 insertions, 0 deletions