isabelle: Changelog

wenzelm [Tue, 13 Jul 1999 12:32:22 +0200] rev 6994

same_tac;

paulson [Tue, 13 Jul 1999 10:45:47 +0200] rev 6993

change to force (m div 0 = 0)

paulson [Tue, 13 Jul 1999 10:45:09 +0200] rev 6992

many new theorems

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;

isabelle