diff options
| author | David Aspinall | 2000-06-07 18:07:25 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-07 18:07:25 +0000 |
| commit | fcb6f0745c966fe600fc5b54ef8a21ca2944c228 (patch) | |
| tree | a95094d6f8001e0172962d1038d723c6d32dea98 /isar/Example.thy | |
| parent | 58fd1faea731b3d946af9e60d3cb16b5254fffb5 (diff) | |
Failed attempted hack to support ML files in isar mode (see comments in isar-preprocessing).
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions