nipkow [Mon, 30 Oct 2000 08:34:37 +0100] rev 10350
Added antiquotation "subgoals".
nipkow [Mon, 30 Oct 2000 08:34:12 +0100] rev 10349
Mod because of additional parameters to pretty_goals.
wenzelm [Fri, 27 Oct 2000 16:25:21 +0200] rev 10348
back to 1.167, due to Emacs/CVS casualty!!;
oheimb [Fri, 27 Oct 2000 15:53:47 +0200] rev 10347
added instantiate_tac
wenzelm [Fri, 27 Oct 2000 15:23:39 +0200] rev 10346
*** empty log message ***
kleing [Fri, 27 Oct 2000 15:11:49 +0200] rev 10345
removed isabelle resources: are available from main pages
kleing [Fri, 27 Oct 2000 12:44:50 +0200] rev 10344
cleanup, looks ok now with konqueror, too
nipkow [Thu, 26 Oct 2000 14:59:38 +0200] rev 10343
*** empty log message ***
nipkow [Thu, 26 Oct 2000 14:52:41 +0200] rev 10342
*** empty log message ***
paulson [Thu, 26 Oct 2000 11:27:48 +0200] rev 10341
added the $Id:$ line