| Tue, 04 Feb 1997 10:33:58 +0100 | paulson | Gradual switching to Basis Library functions nth, drop, etc. | changeset | files |
| Tue, 04 Feb 1997 08:59:50 +0100 | wenzelm | now uses tee -i instead of perl; | changeset | files |
| Tue, 04 Feb 1997 08:59:17 +0100 | wenzelm | now uses ISABELLE_INSTALLFONTS; | changeset | files |
| Tue, 04 Feb 1997 08:58:47 +0100 | wenzelm | added ISABELLE_INSTALLFONTS; | changeset | files |
| Fri, 31 Jan 1997 17:51:42 +0100 | paulson | Declaration of ccontr (classical contradiction) for HOL compatibility | changeset | files |
| Fri, 31 Jan 1997 17:50:47 +0100 | paulson | Correction to Problem 24 | changeset | files |
| Fri, 31 Jan 1997 17:17:10 +0100 | paulson | Correction to Problem 24 | changeset | files |
| Fri, 31 Jan 1997 17:15:55 +0100 | paulson | Correction to Problem 24 (with unsatisfactory proof) | changeset | files |