diff options
| author | David Aspinall | 2000-06-01 13:39:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-01 13:39:36 +0000 |
| commit | b01b51bc3a83c9eac068167ce38231ab4f6defc9 (patch) | |
| tree | cdd94f0442edec2b8616adc13d4cb26b2f06fd98 /isar/Example.thy | |
| parent | 5c13858362a5039775e730390fbe5c11ccd1de42 (diff) | |
New file
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions