diff options
| author | David Aspinall | 2002-06-24 09:02:33 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-24 09:02:33 +0000 |
| commit | 7a8fe1da30d114d34479226640af4c1ea690771c (patch) | |
| tree | b18b5262ddeb474c7e87b56fb98aec7600d7466e /isa/Example.thy | |
| parent | 7e930e5e35f631e79881b4ec8ff0b855e75696e6 (diff) | |
Fix to prevent {* being considered a command, flag edits
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions