diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-06-14 09:31:12 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-06-14 09:31:12 +1000 |
| commit | 9a2264088eec608c3fbf06264a8196b468802362 (patch) | |
| tree | cf54b776aa3a899c36e6f109b3a50a67bf325de3 /ProofGraph.hs | |
| parent | 9cd2944ce482eeb2ac91b415023189fe10c66ec1 (diff) | |
Changed doGraphGen function to return only the graph
Diffstat (limited to 'ProofGraph.hs')
0 files changed, 0 insertions, 0 deletions