diff options
| author | David Aspinall | 1999-09-21 17:23:55 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-21 17:23:55 +0000 |
| commit | f2717061db6a98c681e943754c0d0f7239b4c074 (patch) | |
| tree | 62e847939740db2f721d4a4bb9bccfff5f0dc690 /isa/Example.thy | |
| parent | c8e63e5d3d953540a4459272cf13a26935c23c28 (diff) | |
Comment fix.
Fix for FSF Emacs.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions