Mon, 22 Jun 1998 15:50:59 +0200 | paulson | comments and minor tidying | changeset | files |
Mon, 22 Jun 1998 15:49:29 +0200 | paulson | simplified and tidied the proofs | changeset | files |
Mon, 22 Jun 1998 15:25:06 +0200 | wenzelm | check_mlhome_file; | changeset | files |