| Thu, 06 Mar 1997 16:04:23 +0100 | pusch | primrec definition for nth | changeset | files |
| Thu, 06 Mar 1997 12:32:58 +0100 | wenzelm | Oops, forgot to remove -x again; | changeset | files |
| Thu, 06 Mar 1997 12:30:32 +0100 | wenzelm | added ISABELLE_HOME normalization; | changeset | files |