diff options
| author | David Aspinall | 2000-06-07 18:05:32 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-07 18:05:32 +0000 |
| commit | 58fd1faea731b3d946af9e60d3cb16b5254fffb5 (patch) | |
| tree | 24e6f41ab503a3133a609ae69c77c08e72c5d5b9 /isar/Example.thy | |
| parent | 9ef1b04acfee13a2314706a43c896ce64071be6b (diff) | |
Removed disable of simp tracing from enable/disable pr, desired functionality now in Isabelle's update_thy for PG
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions