Fri, 07 May 1999 11:02:00 +0200 | paulson | tidied | changeset | files |
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 |
Thu, 06 May 1999 19:04:20 +0200 | wenzelm | pdf setup; | changeset | files |
Thu, 06 May 1999 18:48:46 +0200 | wenzelm | *** empty log message *** | changeset | files |
Thu, 06 May 1999 18:46:50 +0200 | wenzelm | pdf setup; | changeset | files |