diff options
| author | David Aspinall | 2000-05-26 17:41:25 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-26 17:41:25 +0000 |
| commit | 92513fc11c6a7687b5b582e95e7e3a4987cbd621 (patch) | |
| tree | ef30bf4d46879d49f454ec7a857559e9bfbcf5ec /isar/Example.thy | |
| parent | 7d01abcada236160bd1f746eeb678bc1037740d0 (diff) | |
Updated magic
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions