| 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 |
| Wed, 26 Jun 2002 18:31:20 +0200 | paulson | new treatment of wfrec, replacing wf[A](r) by wf(r) | changeset | files |
| Wed, 26 Jun 2002 12:17:21 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 26 Jun 2002 11:07:14 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 26 Jun 2002 10:26:46 +0200 | paulson | new theorems | changeset | files |
| Wed, 26 Jun 2002 10:25:36 +0200 | paulson | towards absoluteness of wfrec-defined functions | changeset | files |
| Mon, 24 Jun 2002 16:33:43 +0200 | isatest | email sending | changeset | files |
| Mon, 24 Jun 2002 11:59:21 +0200 | paulson | development and tweaks | changeset | files |