diff options
| author | Makarius Wenzel | 1999-08-16 17:07:49 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-08-16 17:07:49 +0000 |
| commit | 1f15a64245e31f3cf556934a51847b3b129a269d (patch) | |
| tree | bc94e95c9b7039b3a26597b56dc79f03216b7b0c /isar/Example.thy | |
| parent | 30d790e6b977879d90296e73aa6e76dee309e866 (diff) | |
proof-shell-first-special-char ?\350;
tuned prompt;
deactivated "No subgoals!";
use Isabelle's native ProofGeneral.init;
proper setup for theory loader actions: better handling of multiple buffers;
isa-find-and-forget does nothing;
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions