src/Pure/Isar/method.ML
Fri, 19 Mar 1999 11:24:00 +0100 wenzelm common qed and end of proofs;
Tue, 12 Jan 1999 17:19:53 +0100 wenzelm 'same' method, 'immediate' proof;
Tue, 12 Jan 1999 16:44:31 +0100 wenzelm improved asm_finish;
Tue, 12 Jan 1999 13:40:08 +0100 wenzelm eliminated tthm type and Attribute structure;
Wed, 18 Nov 1998 10:56:38 +0100 wenzelm removed trace;
Tue, 17 Nov 1998 14:23:13 +0100 wenzelm exception METHOD_FAIL;
Mon, 16 Nov 1998 11:07:12 +0100 wenzelm several args parsers;
Mon, 09 Nov 1998 15:32:43 +0100 wenzelm Proof methods.
less more (0) tip