isabelle: Changelog

wenzelm [Thu, 06 Nov 1997 12:27:12 +0100] rev 4180

tuned;

paulson [Thu, 06 Nov 1997 10:29:37 +0100] rev 4179

hyp_subst_tac checks if the equality has type variables and uses a suitable method if so. Affects the dest_eq function

paulson [Thu, 06 Nov 1997 10:28:20 +0100] rev 4178

subgoal_tac displays a warning if the new subgoal has type variables

wenzelm [Wed, 05 Nov 1997 19:40:50 +0100] rev 4177

mkdir -p bin;

wenzelm [Wed, 05 Nov 1997 19:39:34 +0100] rev 4176

Tools/8bit: ./mk;

oheimb [Wed, 05 Nov 1997 18:31:14 +0100] rev 4175

*** empty log message ***

Wed, 05 Nov 1997 16:37:22 +0100 tuned;

wenzelm [Wed, 05 Nov 1997 16:37:22 +0100] rev 4174

tuned;

oheimb [Wed, 05 Nov 1997 15:49:38 +0100] rev 4173

abandoned generation of tmp files

oheimb [Wed, 05 Nov 1997 15:48:24 +0100] rev 4172

various improvements

oheimb [Wed, 05 Nov 1997 15:47:27 +0100] rev 4171

reflecting changes of isa2latex

isabelle