| 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 |
| Sat, 28 Jun 2003 13:42:56 +0200 | kleing | integrated optimizations by Sebastian Skalberg, | changeset | files |
| Fri, 27 Jun 2003 18:40:25 +0200 | paulson | Conversion of theory UNITY to Isar script | changeset | files |
| Fri, 27 Jun 2003 13:15:40 +0200 | paulson | Conversion of AllocBase to new-style | changeset | files |