diff options
| author | David Aspinall | 2004-06-22 23:21:11 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-06-22 23:21:11 +0000 |
| commit | f3e17129b822c511f40578e39a471ce31cbde810 (patch) | |
| tree | 346c968656e4e6ee7145ec4357bfdf9acd6e88dc /isar/Example.thy | |
| parent | e881578df75f2d714e750cf752fbdafaedd8a2c7 (diff) | |
Include bug report and observation about GNU Emacs
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions