isabelle: Changelog

paulson [Sat, 31 Oct 1998 12:46:21 +0100] rev 5785

Charpentier laws

paulson [Sat, 31 Oct 1998 12:45:25 +0100] rev 5784

the Increasing operator

paulson [Sat, 31 Oct 1998 12:43:56 +0100] rev 5783

no need for int_0

paulson [Sat, 31 Oct 1998 12:42:34 +0100] rev 5782

locales now implicitly quantify over free variables

wenzelm [Fri, 30 Oct 1998 15:59:51 +0100] rev 5781

tuned current_goals_markers;

paulson [Fri, 30 Oct 1998 10:45:08 +0100] rev 5780

Moved "instance set:...{power} from Set.thy to RelPow.thy, where is is needed

paulson [Fri, 30 Oct 1998 10:43:12 +0100] rev 5779

Explicit (and improved) simprules for binary arithmetic. New default simprules to eliminate (int 0) and (z + - w)

wenzelm [Thu, 29 Oct 1998 15:06:21 +0100] rev 5778

*** empty log message ***

Thu, 29 Oct 1998 15:06:10 +0100 shyps note for prim. rules;

wenzelm [Thu, 29 Oct 1998 15:06:10 +0100] rev 5777

shyps note for prim. rules;

wenzelm [Thu, 29 Oct 1998 15:05:42 +0100] rev 5776

tuned;

isabelle