Thu, 08 Jul 1999 13:43:42 +0200 | paulson | Introduction of integer division algorithm | changeset | files |
Thu, 08 Jul 1999 13:42:31 +0200 | paulson | tidied proofs to cope with default if_weak_cong | changeset | files |
Thu, 08 Jul 1999 13:38:41 +0200 | paulson | Now if_weak_cong is a standard congruence rule | changeset | files |
Thu, 08 Jul 1999 13:37:40 +0200 | paulson | new theory IntDiv.thy | changeset | files |
Thu, 08 Jul 1999 13:35:33 +0200 | paulson | new files IntDiv.{thy,ML} | changeset | files |
Wed, 07 Jul 1999 00:15:06 +0200 | wenzelm | tuned output; | changeset | files |