isabelle: Changelog

nipkow [Sat, 12 Apr 2014 17:26:27 +0200] rev 56544

made mult_pos_pos a simp rule

kuncar [Fri, 11 Apr 2014 23:22:00 +0200] rev 56543

bi_unique and co. rules from the BNF hook must be introduced after bi_unique op= and co. rules are introduced

nipkow [Fri, 11 Apr 2014 22:53:47 +0200] rev 56542

merged

nipkow [Fri, 11 Apr 2014 22:53:33 +0200] rev 56541

made divide_pos_pos a simp rule

kuncar [Fri, 11 Apr 2014 22:19:37 +0200] rev 56540

fix the reflexivity prover

kuncar [Fri, 11 Apr 2014 17:53:16 +0200] rev 56539

merged

kuncar [Fri, 11 Apr 2014 16:59:42 +0200] rev 56538

observe also DEADID BNFs and associate the conjunction in rel_inject to the right

nipkow [Fri, 11 Apr 2014 17:11:41 +0200] rev 56537

made ereal_add_nonneg_nonneg a simp rule

nipkow [Fri, 11 Apr 2014 13:36:57 +0200] rev 56536

made mult_nonneg_nonneg a simp rule

wenzelm [Fri, 11 Apr 2014 12:43:22 +0200] rev 56535

merged

isabelle