src/Pure/Isar/method.ML
1999-03-19 wenzelm 1999-03-19 common qed and end of proofs;
1999-01-12 wenzelm 1999-01-12 'same' method, 'immediate' proof;
1999-01-12 wenzelm 1999-01-12 improved asm_finish;
1999-01-12 wenzelm 1999-01-12 eliminated tthm type and Attribute structure;
1998-11-18 wenzelm 1998-11-18 removed trace;
1998-11-17 wenzelm 1998-11-17 exception METHOD_FAIL;
1998-11-16 wenzelm 1998-11-16 several args parsers; realistic syntax; tuned;
1998-11-09 wenzelm 1998-11-09 Proof methods.