diff options
| author | David Aspinall | 2003-08-20 23:52:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-08-20 23:52:47 +0000 |
| commit | 80bed3f302f77296fc8e82e24613b39fd543f240 (patch) | |
| tree | e46c389c68dcb6b14d41483c75ef573394db5159 /isar/Example-Xsym.thy | |
| parent | 28dd62f87f840a4d3f3bcf97c53f1d238633f29e (diff) | |
Fix SML comment syntax oops
Diffstat (limited to 'isar/Example-Xsym.thy')
0 files changed, 0 insertions, 0 deletions