Thu, 05 Feb 1998 10:26:16 +0100 Updated the description of how to set up hyp_subst_tac
paulson [Thu, 05 Feb 1998 10:26:16 +0100] rev 4596
Updated the description of how to set up hyp_subst_tac
Mon, 02 Feb 1998 12:57:20 +0100 New example, Pow_Sigma_bij
paulson [Mon, 02 Feb 1998 12:57:20 +0100] rev 4595
New example, Pow_Sigma_bij
Mon, 02 Feb 1998 12:56:24 +0100 fixed WWW links
paulson [Mon, 02 Feb 1998 12:56:24 +0100] rev 4594
fixed WWW links
Mon, 02 Feb 1998 12:55:39 +0100 Three new facts about Image
paulson [Mon, 02 Feb 1998 12:55:39 +0100] rev 4593
Three new facts about Image
Mon, 02 Feb 1998 12:48:11 +0100 Replaced \\1 by $1 as Perl itself asked me to...
paulson [Mon, 02 Feb 1998 12:48:11 +0100] rev 4592
Replaced \\1 by $1 as Perl itself asked me to...
Fri, 30 Jan 1998 12:31:59 +0100 Fixed the description of recdef
paulson [Fri, 30 Jan 1998 12:31:59 +0100] rev 4591
Fixed the description of recdef
Fri, 30 Jan 1998 11:34:06 +0100 tuned msgs;
wenzelm [Fri, 30 Jan 1998 11:34:06 +0100] rev 4590
tuned msgs;
Fri, 30 Jan 1998 11:33:01 +0100 improved tracing of rewrite rule application;
wenzelm [Fri, 30 Jan 1998 11:33:01 +0100] rev 4589
improved tracing of rewrite rule application;
Fri, 30 Jan 1998 11:32:19 +0100 removed dead messy code;
wenzelm [Fri, 30 Jan 1998 11:32:19 +0100] rev 4588
removed dead messy code;
Fri, 30 Jan 1998 11:31:21 +0100 added read_var;
wenzelm [Fri, 30 Jan 1998 11:31:21 +0100] rev 4587
added read_var;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip