diff options
| author | David Aspinall | 2000-05-29 15:26:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-29 15:26:16 +0000 |
| commit | 396f95f0d1cca5eb1df1a432813885d6d0a71536 (patch) | |
| tree | f30e797c601df518230fd76240c33c08b4062314 /isar/Example.thy | |
| parent | 19a23f24ba4c9e6f4ba72ad930c1accdf8912cd7 (diff) | |
New stuff for making proof assistant settings.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions