diff options
| author | David Aspinall | 2002-09-11 14:44:43 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-09-11 14:44:43 +0000 |
| commit | ce8067bac33f7d7f343b481e1d6e44216a1993c7 (patch) | |
| tree | 0dd74607d8965ff51b7196bf7b5e4476018c8d56 /isar/Example.thy | |
| parent | e621111d078b17a0fa689d01a71074e386a1f150 (diff) | |
Begin support for thms buffer
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions