diff options
| author | Makarius Wenzel | 1999-05-25 08:13:48 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-05-25 08:13:48 +0000 |
| commit | cab99ec2d9ea48a99ae1398023b3586e8849cf67 (patch) | |
| tree | ceb4d140c5701356a36bf9e2a917dc3a33423d85 /isar/Example.thy | |
| parent | 5e8e51f9a6d9b5e56ec5e918bdf6fdb90180ab9b (diff) | |
proof-done-advancing: added proof-really-save-command-p to support
more general qed schemes, such as Isabelle/Isar's nested proofs;
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions