diff options
| author | David Aspinall | 2000-05-29 18:16:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-29 18:16:23 +0000 |
| commit | d0735a555ec0fe5f3720a83b09cc9e4b82c5b690 (patch) | |
| tree | ae3251fe23ae3d241dd2401c6933185ea927f3da /isar/Example.thy | |
| parent | 12a0015719d5538c3756b0c91b7b8764e4492cba (diff) | |
Added new parsing mechanism. Began removing proof-terminal-string.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions