| Tue, 01 Jul 2003 10:50:26 +0200 | paulson | moved some lemmas here from ZF | changeset | files |
| Mon, 30 Jun 2003 18:15:51 +0200 | paulson | Removal of UNITY/UNITYMisc, moving its theorems elsewhere. | changeset | files |
| Mon, 30 Jun 2003 12:23:00 +0200 | webertj | Added DOCTYPE and Content-type to HTML documents. | changeset | files |
| Sun, 29 Jun 2003 21:29:15 +0200 | berghofe | Moved function for renaming bound variables to Pure/drule.ML | changeset | files |
| Sun, 29 Jun 2003 21:28:13 +0200 | berghofe | Added functions for renaming bound variables. | changeset | files |
| Sun, 29 Jun 2003 21:27:28 +0200 | berghofe | Added split_paired_All rule for splitting variables bound by | changeset | files |
| Sun, 29 Jun 2003 21:25:34 +0200 | berghofe | - record_split_tac now also works for object-level universal quantifier | changeset | files |