diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-08-02 08:31:09 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-08-02 08:31:09 +1000 |
| commit | 561175c53ada76ec2bcf69ffcacefc2010d13c2d (patch) | |
| tree | a376e0a3739e3933d183096f1f8025d4813a658f /src/Library/TermNet.hs | |
| parent | c60a10bc83b7b6ddb2bbd5cc9b7887d43acce882 (diff) | |
Moved proof trace output formatting function to Parse.hs
Diffstat (limited to 'src/Library/TermNet.hs')
0 files changed, 0 insertions, 0 deletions