diff options
| author | Makarius Wenzel | 1999-05-24 20:07:17 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-05-24 20:07:17 +0000 |
| commit | c9a01104f2a4ad4d70ecfcdea50c7754efc9bd36 (patch) | |
| tree | 0449db21505757d854b8f763821074e073bacb69 /isar/Example.thy | |
| parent | 62523690f3e8606b02e609e8627e8d7997fe2e65 (diff) | |
this version actually generated by Isabelle;
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions