diff options
| author | David Aspinall | 1999-09-13 14:26:41 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-13 14:26:41 +0000 |
| commit | cc1ab97c86bc18254536535b0f5561c2067cf483 (patch) | |
| tree | 91a8b231f5ccf59c0ddbed95f8216c12e1487960 /isar/Example.thy | |
| parent | ab56e29f53b457d85f7d841ad6369bb75ab85c55 (diff) | |
Added plastic to elisp dirs and cleanup backup files.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions