diff options
| author | Makarius Wenzel | 2006-10-11 20:08:10 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2006-10-11 20:08:10 +0000 |
| commit | 8225f0e1764068baa36288b30ad3a16c85830c79 (patch) | |
| tree | d1ca7be5b12e2b040701ee8687b6820a24a03136 /isa/Example.thy | |
| parent | 99527585d02e4470ba70497973e074bb4a4b6b77 (diff) | |
reintroduced pg-subterm-first-special-char, which makes PG strip goal markup;
isar-find-and-forget: no special treatment of undo-kill, allows
"context" command to act as local theory init;
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions