| 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 |
| Fri, 28 Jun 2002 17:36:22 +0200 | paulson | new theorems, tidying | changeset | files |
| Fri, 28 Jun 2002 11:25:46 +0200 | paulson | class quantifiers (some) | changeset | files |
| Fri, 28 Jun 2002 11:24:36 +0200 | paulson | added class quantifiers | changeset | files |
| Fri, 28 Jun 2002 11:24:21 +0200 | paulson | tweaked | changeset | files |