Wed, 20 Jan 1999 18:07:34 +0100 | wenzelm | isabelle.in.tum.de; | changeset | files |
Wed, 20 Jan 1999 17:59:19 +0100 | wenzelm | http://isabelle.in.tum.de/dist/; | changeset | files |
Wed, 20 Jan 1999 10:33:34 +0100 | paulson | renamed variables for clarity | changeset | files |