Mon, 22 Jun 1998 15:50:59 +0200 comments and minor tidying
paulson [Mon, 22 Jun 1998 15:50:59 +0200] rev 5065
comments and minor tidying
Mon, 22 Jun 1998 15:49:29 +0200 simplified and tidied the proofs
paulson [Mon, 22 Jun 1998 15:49:29 +0200] rev 5064
simplified and tidied the proofs
Mon, 22 Jun 1998 15:25:06 +0200 check_mlhome_file;
wenzelm [Mon, 22 Jun 1998 15:25:06 +0200] rev 5063
check_mlhome_file;
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip