diff options
| author | Makarius Wenzel | 2000-06-08 19:45:31 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-06-08 19:45:31 +0000 |
| commit | 8177e644bc6792bab7db9c384c89cd49edb9c21d (patch) | |
| tree | 0b0685633a2f2424160ce3d5b8458b002a378efa /isar/Example.thy | |
| parent | 16ec26fb7f102aa37c9546d95f0f61109699a6be (diff) | |
proper indentation;
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions