Fri, 21 Nov 1997 15:26:22 +0100 cd, use etc. now support path variables;
wenzelm [Fri, 21 Nov 1997 15:26:22 +0100] rev 4269
cd, use etc. now support path variables; changed Pure/Sequence interface;
Fri, 21 Nov 1997 13:54:31 +0100 fix references to obsolete Pure/Sequence structure;
wenzelm [Fri, 21 Nov 1997 13:54:31 +0100] rev 4268
fix references to obsolete Pure/Sequence structure;
Fri, 21 Nov 1997 12:15:27 +0100 tidying
paulson [Fri, 21 Nov 1997 12:15:27 +0100] rev 4267
tidying
Fri, 21 Nov 1997 12:15:10 +0100 analz_mono_contra_tac was wrong
paulson [Fri, 21 Nov 1997 12:15:10 +0100] rev 4266
analz_mono_contra_tac was wrong
Fri, 21 Nov 1997 12:14:47 +0100 Deleted some useless comments
paulson [Fri, 21 Nov 1997 12:14:47 +0100] rev 4265
Deleted some useless comments
Fri, 21 Nov 1997 11:57:58 +0100 minor improvements of formulation and proofs
oheimb [Fri, 21 Nov 1997 11:57:58 +0100] rev 4264
minor improvements of formulation and proofs
Fri, 21 Nov 1997 11:54:23 +0100 corrected INDUCT_FILES
oheimb [Fri, 21 Nov 1997 11:54:23 +0100] rev 4263
corrected INDUCT_FILES
Thu, 20 Nov 1997 16:24:05 +0100 $ISABELLE_HOME/src;
wenzelm [Thu, 20 Nov 1997 16:24:05 +0100] rev 4262
$ISABELLE_HOME/src;
Thu, 20 Nov 1997 15:48:32 +0100 improved error msg;
wenzelm [Thu, 20 Nov 1997 15:48:32 +0100] rev 4261
improved error msg;
Thu, 20 Nov 1997 15:38:51 +0100 removed old note;
wenzelm [Thu, 20 Nov 1997 15:38:51 +0100] rev 4260
removed old note;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip