Thu, 20 Feb 1997 15:53:08 +0100 | wenzelm | index info; | changeset | files |
Thu, 20 Feb 1997 15:52:53 +0100 | wenzelm | added dist; | changeset | files |
Thu, 20 Feb 1997 15:28:18 +0100 | wenzelm | some administrative tools for the Isabelle; | changeset | files |