diff options
| author | Makarius Wenzel | 1999-05-25 08:14:38 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-05-25 08:14:38 +0000 |
| commit | c306e994165b94c497e7de678d80b6b84fe549cb (patch) | |
| tree | 6cf2f4db44b6acb5a55392e044ed461a82a5ae52 /isar/Example.thy | |
| parent | cab99ec2d9ea48a99ae1398023b3586e8849cf67 (diff) | |
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