isabelle: Changelog

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;

wenzelm [Thu, 20 Nov 1997 15:48:32 +0100] rev 4261

improved error msg;

isabelle