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 |