isabelle: Changelog

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;

wenzelm [Thu, 20 Nov 1997 15:38:51 +0100] rev 4260

removed old note;

wenzelm [Thu, 20 Nov 1997 15:36:09 +0100] rev 4259

adapted print methods;

wenzelm [Thu, 20 Nov 1997 15:30:37 +0100] rev 4258

improved theorems print method: transfer_sg;

wenzelm [Thu, 20 Nov 1997 15:30:03 +0100] rev 4257

init_data: improved print method;

isabelle