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 |
Thu, 29 Oct 1998 15:06:10 +0100 | wenzelm | shyps note for prim. rules; | changeset | files |
Thu, 29 Oct 1998 15:05:42 +0100 | wenzelm | tuned; | changeset | files |
Thu, 29 Oct 1998 14:32:43 +0100 | wenzelm | tuned current_goals_markers semantics to avoid empty lines; | changeset | files |