Tue, 09 Jan 2001 12:11:56 +0100 syntax (xsymbols);
wenzelm [Tue, 09 Jan 2001 12:11:56 +0100] rev 10827
syntax (xsymbols);
Mon, 08 Jan 2001 12:27:36 +0100 Removed Applyall
nipkow [Mon, 08 Jan 2001 12:27:36 +0100] rev 10826
Removed Applyall
Mon, 08 Jan 2001 11:06:24 +0100 additional pattern allows reduction of fractions to lowest terms
paulson [Mon, 08 Jan 2001 11:06:24 +0100] rev 10825
additional pattern allows reduction of fractions to lowest terms
Mon, 08 Jan 2001 10:33:51 +0100 *** empty log message ***
nipkow [Mon, 08 Jan 2001 10:33:51 +0100] rev 10824
*** empty log message ***
Sun, 07 Jan 2001 22:39:28 +0100 updated;
wenzelm [Sun, 07 Jan 2001 22:39:28 +0100] rev 10823
updated;
Sun, 07 Jan 2001 21:45:14 +0100 removed ID (avoid CVS conflicts with generated versions);
wenzelm [Sun, 07 Jan 2001 21:45:14 +0100] rev 10822
removed ID (avoid CVS conflicts with generated versions);
Sun, 07 Jan 2001 21:41:56 +0100 CHANGED_PROP;
wenzelm [Sun, 07 Jan 2001 21:41:56 +0100] rev 10821
CHANGED_PROP;
Sun, 07 Jan 2001 21:40:49 +0100 removed MicroJava/BV/Convert.thy;
wenzelm [Sun, 07 Jan 2001 21:40:49 +0100] rev 10820
removed MicroJava/BV/Convert.thy;
Sun, 07 Jan 2001 21:37:40 +0100 do not AutoBind.drop_judgment;
wenzelm [Sun, 07 Jan 2001 21:37:40 +0100] rev 10819
do not AutoBind.drop_judgment;
Sun, 07 Jan 2001 21:36:59 +0100 tuned output;
wenzelm [Sun, 07 Jan 2001 21:36:59 +0100] rev 10818
tuned output;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip