diff options
| author | Makarius Wenzel | 1999-05-25 08:09:49 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-05-25 08:09:49 +0000 |
| commit | 5e8e51f9a6d9b5e56ec5e918bdf6fdb90180ab9b (patch) | |
| tree | ea4c88b57cd090ad1cd13ec11ea6183f97e919d9 /isar/Example.thy | |
| parent | c9a01104f2a4ad4d70ecfcdea50c7754efc9bd36 (diff) | |
tuned;
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions