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