| Mon, 01 Jul 2002 15:33:03 +0200 | nipkow | *** empty log message *** | changeset | files |
| Mon, 01 Jul 2002 12:50:35 +0200 | nipkow | fixed problem with linear arith. | changeset | files |
| Sat, 29 Jun 2002 22:46:56 +0200 | paulson | new splitting rules for zdiv, zmod | changeset | files |
| Sat, 29 Jun 2002 21:33:06 +0200 | paulson | conversion of many files to Isar format | changeset | files |
| Fri, 28 Jun 2002 20:01:09 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 28 Jun 2002 19:51:40 +0200 | berghofe | Additional rule for rewriting on ==. | changeset | files |
| Fri, 28 Jun 2002 19:51:19 +0200 | berghofe | Added function prop_of' taking assumption context as an argument. | changeset | files |