Thu, 23 Nov 2000 21:29:35 +0100 * HOL: syntax or "abs";
wenzelm [Thu, 23 Nov 2000 21:29:35 +0100] rev 10514
* HOL: syntax or "abs";
Thu, 23 Nov 2000 16:25:08 +0100 *** empty log message ***
nipkow [Thu, 23 Nov 2000 16:25:08 +0100] rev 10513
*** empty log message ***
Wed, 22 Nov 2000 21:47:04 +0100 tuned;
wenzelm [Wed, 22 Nov 2000 21:47:04 +0100] rev 10512
tuned;
Wed, 22 Nov 2000 21:41:39 +0100 tuned;
wenzelm [Wed, 22 Nov 2000 21:41:39 +0100] rev 10511
tuned;
Wed, 22 Nov 2000 21:38:26 +0100 *** empty log message ***
wenzelm [Wed, 22 Nov 2000 21:38:26 +0100] rev 10510
*** empty log message ***
Wed, 22 Nov 2000 13:16:55 +0100 *** empty log message ***
nipkow [Wed, 22 Nov 2000 13:16:55 +0100] rev 10509
*** empty log message ***
Tue, 21 Nov 2000 19:04:59 +0100 tag result with name reference to final binding (basically just a comment);
wenzelm [Tue, 21 Nov 2000 19:04:59 +0100] rev 10508
tag result with name reference to final binding (basically just a comment);
Tue, 21 Nov 2000 19:04:03 +0100 Tactic.distinct_subgoals_tac moved to internal intro_classes_tac;
wenzelm [Tue, 21 Nov 2000 19:04:03 +0100] rev 10507
Tactic.distinct_subgoals_tac moved to internal intro_classes_tac;
Tue, 21 Nov 2000 19:03:27 +0100 replace \<dots>;
wenzelm [Tue, 21 Nov 2000 19:03:27 +0100] rev 10506
replace \<dots>;
Tue, 21 Nov 2000 19:03:06 +0100 unsymbolize;
wenzelm [Tue, 21 Nov 2000 19:03:06 +0100] rev 10505
unsymbolize;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip