diff options
| author | David Aspinall | 2000-05-29 18:03:27 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-29 18:03:27 +0000 |
| commit | 12a0015719d5538c3756b0c91b7b8764e4492cba (patch) | |
| tree | 5ad474e76e499ab0529b3d0d3542f178d080cc63 /isar/Example.thy | |
| parent | 0196e183006e8c74dcb4f5f5915c052cacf0c8f7 (diff) | |
Removed use of proof-terminal-string, added explicit terminators everywhere.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions