diff options
| author | David Aspinall | 2002-09-11 14:51:00 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-09-11 14:51:00 +0000 |
| commit | f7c5f99dbd6496eacdaea0cb2f141424104cf9b0 (patch) | |
| tree | 832f4bc4f04a7e35f6506986735b1dca2dc3e95d /isar/Example.thy | |
| parent | 680f5d4c3c524f7ab693ffd794b1075e15a780d1 (diff) | |
Source of parsing problem discovered and explained.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions