diff options
| author | Makarius Wenzel | 2006-11-04 19:57:09 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2006-11-04 19:57:09 +0000 |
| commit | 84779c34d7e037508271e3fad8f853299ced473d (patch) | |
| tree | 3a68ad77ac72e5adad2cebcb1078349c4356b5f2 /isa/Example.thy | |
| parent | 1708c79a31fcd63745ba4749d7f9d199b473a585 (diff) | |
isar-strip-terminators, isar-detect-begin: proof-search-forward;
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions