diff options
| author | David Aspinall | 2001-12-11 13:21:00 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-12-11 13:21:00 +0000 |
| commit | 8c86c9b0599b2b2344fe6078460ed66813cfa20f (patch) | |
| tree | c2d76fe98a2f9ccd4c6866ebe953746cb3609521 /isar/Example.thy | |
| parent | bf56606d11744c6410a0f3004332acd2e52f7810 (diff) | |
Protect XEmacs only code
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions