diff options
| author | Makarius Wenzel | 2000-06-08 19:49:11 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-06-08 19:49:11 +0000 |
| commit | 7f7423bbd941b6c8f16b2c73584052a5b14ec9f6 (patch) | |
| tree | f22185fc78b7d48bcdaed7f09ab37e936461c9dd /isar/Example.thy | |
| parent | ddfd0bd7567b7c47ecb7bb55f77f6c57d1392a36 (diff) | |
added proof-looking-at-safe, proof-looking-at-syntactic-context;
removed proof-indent-commands-regexp;
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions