diff options
| author | David Aspinall | 2000-05-25 20:29:25 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-25 20:29:25 +0000 |
| commit | a7b98b6128dedc42e8f0d003bd9ef95755e9ff93 (patch) | |
| tree | 9e7d924df250436aa4f225514e8678eef6f16dfd /isar/Example.thy | |
| parent | 27f0340ed5999e8b899f827358c4fdbb08f9dd2e (diff) | |
Temp hacks to get doc to build before proper commits.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions