Thu, 20 Dec 2001 21:14:59 +0100 generated text;
wenzelm [Thu, 20 Dec 2001 21:14:59 +0100] rev 12572
generated text;
Thu, 20 Dec 2001 21:14:42 +0100 supplanted by Records.thy;
wenzelm [Thu, 20 Dec 2001 21:14:42 +0100] rev 12571
supplanted by Records.thy;
Thu, 20 Dec 2001 21:13:36 +0100 some text;
wenzelm [Thu, 20 Dec 2001 21:13:36 +0100] rev 12570
some text;
Thu, 20 Dec 2001 21:13:22 +0100 \usepackage{marvosym};
wenzelm [Thu, 20 Dec 2001 21:13:22 +0100] rev 12569
\usepackage{marvosym};
Thu, 20 Dec 2001 21:12:02 +0100 document/Records.tex;
wenzelm [Thu, 20 Dec 2001 21:12:02 +0100] rev 12568
document/Records.tex;
Thu, 20 Dec 2001 21:11:04 +0100 turned into proper Isabelle document;
wenzelm [Thu, 20 Dec 2001 21:11:04 +0100] rev 12567
turned into proper Isabelle document;
Thu, 20 Dec 2001 18:22:44 +0100 renamed rtrancl_into_rtrancl2 to converse_rtrancl_into_rtrancl
nipkow [Thu, 20 Dec 2001 18:22:44 +0100] rev 12566
renamed rtrancl_into_rtrancl2 to converse_rtrancl_into_rtrancl
Thu, 20 Dec 2001 17:08:55 +0100 Eliminated "query" syntax.
berghofe [Thu, 20 Dec 2001 17:08:55 +0100] rev 12565
Eliminated "query" syntax.
Thu, 20 Dec 2001 16:53:51 +0100 *** empty log message ***
nipkow [Thu, 20 Dec 2001 16:53:51 +0100] rev 12564
*** empty log message ***
Thu, 20 Dec 2001 15:57:29 +0100 ZF/Main
paulson [Thu, 20 Dec 2001 15:57:29 +0100] rev 12563
ZF/Main
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip