isabelle: Changelog

paulson [Tue, 13 Jul 1999 10:42:31 +0200] rev 6988

renamed sort "numeral" to "number"

paulson [Tue, 13 Jul 1999 10:41:59 +0200] rev 6987

simplified the <= monotonicity proof

wenzelm [Mon, 12 Jul 1999 22:29:38 +0200] rev 6986

local qeds: print rule;

wenzelm [Mon, 12 Jul 1999 22:29:17 +0200] rev 6985

added show_hyps flag;

wenzelm [Mon, 12 Jul 1999 22:28:56 +0200] rev 6984

local qed; print rule;

wenzelm [Mon, 12 Jul 1999 22:28:38 +0200] rev 6983

term/prop: include number; method args: exlude method meta chars;

wenzelm [Mon, 12 Jul 1999 22:27:51 +0200] rev 6982

added show_hyps flag; local qed: print rule;

wenzelm [Mon, 12 Jul 1999 22:27:20 +0200] rev 6981

export assumption_tac; local qeds: print rule; same_tac: actually insert rules, !! bind vars;

wenzelm [Mon, 12 Jul 1999 22:25:39 +0200] rev 6980

removed merge_theories;

wenzelm [Mon, 12 Jul 1999 22:25:19 +0200] rev 6979

removed metacuts_tac;

isabelle