diff options
| author | David Aspinall | 2003-02-17 23:06:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-17 23:06:06 +0000 |
| commit | 82ec8a535f3c3bb2c9cce4c715ded745085d25d8 (patch) | |
| tree | 24b98e598b045e8b6ad373aacfb86b63f4c47052 /isar/Example.thy | |
| parent | 28981d917a71ef03cc3d11f995ee420d0bd64d0a (diff) | |
Mention adding MMM mode
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions