wenzelm [Tue, 27 Aug 2002 11:06:20 +0200] rev 13530
Thm.proof_of;
wenzelm [Tue, 27 Aug 2002 11:06:07 +0200] rev 13529
check_goal: produce error instead of warning;
wenzelm [Tue, 27 Aug 2002 11:05:31 +0200] rev 13528
added proof_of;
wenzelm [Tue, 27 Aug 2002 11:05:13 +0200] rev 13527
thms/axms_of_proof: proper handling of MinProof;
wenzelm [Tue, 27 Aug 2002 11:04:27 +0200] rev 13526
result dependency output;
wenzelm [Tue, 27 Aug 2002 11:04:00 +0200] rev 13525
dup_elim: improved error reporting;
wenzelm [Tue, 27 Aug 2002 11:03:05 +0200] rev 13524
*** empty log message ***
wenzelm [Tue, 27 Aug 2002 11:03:02 +0200] rev 13523
avoid duplicate fact bindings;
wenzelm [Tue, 27 Aug 2002 10:59:21 +0200] rev 13522
* Isar: preview of problems to finish 'show' now produce an error
paulson [Sat, 24 Aug 2002 18:53:43 +0200] rev 13521
conversion of ZF/IntDiv to Isar script