isabelle: Changelog

wenzelm [Sun, 11 Nov 2001 21:35:04 +0100] rev 12144

added RAW_METHOD, RAW_METHOD_CASES; METHOD, METHOD_CASES etc.: conjunction_tac;

wenzelm [Sun, 11 Nov 2001 21:34:09 +0100] rev 12143

added add_thmss;

wenzelm [Sun, 11 Nov 2001 21:33:40 +0100] rev 12142

"theorem" etc.: multiple statements;

wenzelm [Sun, 11 Nov 2001 21:33:05 +0100] rev 12141

theorem, have, show etc: multiple statements;

wenzelm [Sun, 11 Nov 2001 21:32:12 +0100] rev 12140

facts: multiple args;

wenzelm [Sun, 11 Nov 2001 21:31:52 +0100] rev 12139

added conjunction_tac;

wenzelm [Sun, 11 Nov 2001 21:31:35 +0100] rev 12138

renamed open_smart_store_thms to smart_store_thms_open; added Syntax.pure_syntax_output;

wenzelm [Sun, 11 Nov 2001 21:30:51 +0100] rev 12137

added mk_conjunction;

wenzelm [Sun, 11 Nov 2001 21:30:31 +0100] rev 12136

added unflat;

wenzelm [Sun, 11 Nov 2001 21:30:10 +0100] rev 12135

added conj_elim_precise, conj_intr_thm;

isabelle