diff options
| author | David Aspinall | 2002-09-04 17:22:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-09-04 17:22:14 +0000 |
| commit | 00e658c86b729b5b6d442557dcd60e2512591fb5 (patch) | |
| tree | 21d050f3bf27335c8b16a3d1536ed4e571301f8d /isar/Example.thy | |
| parent | cbbe19911ca15dd6466e91d6fb7c135e6e32c393 (diff) | |
Begin adding code for thms buffer
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions