isabelle: Changelog

wenzelm [Wed, 14 Jul 1999 12:28:12 +0200] rev 7001

Deriving rules in Isabelle;

paulson [Wed, 14 Jul 1999 10:41:33 +0200] rev 7000

rewrite add1_zle_eq is no longer in the default simpset

paulson [Wed, 14 Jul 1999 10:40:51 +0200] rev 6999

optimization for division by powers of 2

paulson [Wed, 14 Jul 1999 10:40:11 +0200] rev 6998

new montonicity theorems

paulson [Wed, 14 Jul 1999 10:39:26 +0200] rev 6997

new constant folding rewrites

wenzelm [Tue, 13 Jul 1999 13:54:08 +0200] rev 6996

handle cgoal;

wenzelm [Tue, 13 Jul 1999 13:53:34 +0200] rev 6995

added mk_cgoal, assume_goal;

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

isabelle