diff options
| author | Makarius Wenzel | 1999-08-18 17:02:43 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-08-18 17:02:43 +0000 |
| commit | 0d948350f66621e17334c75789192655d76c4cf6 (patch) | |
| tree | 190b368cadbb087e5f5c80bd0db1887bf8c4f1f5 /isar/Example.thy | |
| parent | ab2f50bc3f98d3571a802c915c0d015062061d13 (diff) | |
obsolete;
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions