Fri, 07 May 1999 10:50:28 +0200 | paulson | tidied | changeset | files |
Fri, 07 May 1999 10:48:56 +0200 | paulson | new refererences for Inductive manual, but still incomplete | changeset | files |
Thu, 06 May 1999 19:04:44 +0200 | wenzelm | tuned; | changeset | files |