Sat, 31 Oct 1998 12:45:25 +0100 paulson the Increasing operator
Sat, 31 Oct 1998 12:43:56 +0100 paulson no need for int_0
Sat, 31 Oct 1998 12:42:34 +0100 paulson locales now implicitly quantify over free variables
Fri, 30 Oct 1998 15:59:51 +0100 wenzelm tuned current_goals_markers;
Fri, 30 Oct 1998 10:45:08 +0100 paulson Moved "instance set:...{power} from Set.thy to RelPow.thy, where is is needed
Fri, 30 Oct 1998 10:43:12 +0100 paulson Explicit (and improved) simprules for binary arithmetic.
Thu, 29 Oct 1998 15:06:21 +0100 wenzelm *** empty log message ***
(0) -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip