isabelle: Changelog

paulson [Tue, 13 Jul 1999 10:44:45 +0200] rev 6991

renamed inj_nat to inj_int

paulson [Tue, 13 Jul 1999 10:44:13 +0200] rev 6990

new monotonicity theorems

paulson [Tue, 13 Jul 1999 10:43:31 +0200] rev 6989

new theorem zmult_eq_0_iff

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;

isabelle