diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-09-19 09:42:19 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-09-19 09:42:19 +0000 |
| commit | 41113572f109f81db301aab9ed828cb60438c4c8 (patch) | |
| tree | 5046b616151336302104152f7da44631666ae49b /isar/interface | |
| parent | 328e653f123a71b43062a4bbc81cc503f60a0487 (diff) | |
Isabelle version: 99-1;
tuned;
Diffstat (limited to 'isar/interface')
0 files changed, 0 insertions, 0 deletions