diff options
| author | David Aspinall | 2000-05-29 15:25:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-29 15:25:23 +0000 |
| commit | 19a23f24ba4c9e6f4ba72ad930c1accdf8912cd7 (patch) | |
| tree | 2462573d9fedf139f7751b94919691d7c2b7b9a1 /isar/Example.thy | |
| parent | bcb6426ef3fe0643628ab8b38b5bff20f0ddc462 (diff) | |
Added configuration variables for proof assistant settings. Docstring for favourites.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions