diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-05-08 00:07:49 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-05-08 00:07:49 +1000 |
| commit | d8b7ebb07101260d910716c68832b195d1438838 (patch) | |
| tree | d0a65d3e6b26ffc19cd5275048f8be222a6506a4 /src/Delete.hs | |
| parent | 5fb30184c733023f20578fa81077e7a7727a410d (diff) | |
Informative output for Stack, Dictionary, Assumptions, Theorems
Diffstat (limited to 'src/Delete.hs')
0 files changed, 0 insertions, 0 deletions