wenzelm [Fri, 21 Nov 1997 15:29:56 +0100] rev 4271
changed Pure/Sequence interface -- isatool fixseq;
wenzelm [Fri, 21 Nov 1997 15:27:43 +0100] rev 4270
changed Sequence interface (now Seq, in seq.ML);
wenzelm [Fri, 21 Nov 1997 15:26:22 +0100] rev 4269
cd, use etc. now support path variables;
changed Pure/Sequence interface;
wenzelm [Fri, 21 Nov 1997 13:54:31 +0100] rev 4268
fix references to obsolete Pure/Sequence structure;
paulson [Fri, 21 Nov 1997 12:15:27 +0100] rev 4267
tidying
paulson [Fri, 21 Nov 1997 12:15:10 +0100] rev 4266
analz_mono_contra_tac was wrong
paulson [Fri, 21 Nov 1997 12:14:47 +0100] rev 4265
Deleted some useless comments
oheimb [Fri, 21 Nov 1997 11:57:58 +0100] rev 4264
minor improvements of formulation and proofs
oheimb [Fri, 21 Nov 1997 11:54:23 +0100] rev 4263
corrected INDUCT_FILES
wenzelm [Thu, 20 Nov 1997 16:24:05 +0100] rev 4262
$ISABELLE_HOME/src;