diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-13 22:21:42 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-13 22:21:42 +0000 |
| commit | 0075ce86d00708e724255319e12f299ce05b2231 (patch) | |
| tree | dd7d1fb0866e946504641820d76f89d6d513c1bd /isar/Example-Xsym.thy | |
| parent | 68f5ce64c1d2faa65360da33e947b00a5673e97b (diff) | |
Indentation of proof-with-current-buffer-if-exists
Diffstat (limited to 'isar/Example-Xsym.thy')
0 files changed, 0 insertions, 0 deletions