Tue, 13 Nov 2001 22:19:37 +0100 converted;
wenzelm [Tue, 13 Nov 2001 22:19:37 +0100] rev 12173
converted;
Tue, 13 Nov 2001 22:18:46 +0100 tuned;
wenzelm [Tue, 13 Nov 2001 22:18:46 +0100] rev 12172
tuned;
Tue, 13 Nov 2001 22:18:03 +0100 tuned inductions;
wenzelm [Tue, 13 Nov 2001 22:18:03 +0100] rev 12171
tuned inductions;
Tue, 13 Nov 2001 17:51:03 +0100 prove: Envir.beta_norm;
wenzelm [Tue, 13 Nov 2001 17:51:03 +0100] rev 12170
prove: Envir.beta_norm;
Tue, 13 Nov 2001 16:12:25 +0100 new SList theory from Bu Wolff
paulson [Tue, 13 Nov 2001 16:12:25 +0100] rev 12169
new SList theory from Bu Wolff
Mon, 12 Nov 2001 23:30:16 +0100 induct: rule_versions produces localized variants;
wenzelm [Mon, 12 Nov 2001 23:30:16 +0100] rev 12168
induct: rule_versions produces localized variants;
Mon, 12 Nov 2001 23:28:49 +0100 empty rule_context for multiple goals;
wenzelm [Mon, 12 Nov 2001 23:28:49 +0100] rev 12167
empty rule_context for multiple goals;
Mon, 12 Nov 2001 23:28:15 +0100 added empty;
wenzelm [Mon, 12 Nov 2001 23:28:15 +0100] rev 12166
added empty;
Mon, 12 Nov 2001 23:27:04 +0100 mutual rules declared as ``consumes 0'';
wenzelm [Mon, 12 Nov 2001 23:27:04 +0100] rev 12165
mutual rules declared as ``consumes 0'';
Mon, 12 Nov 2001 23:26:18 +0100 induct_atomize: include atomize_conj (for mutual induction);
wenzelm [Mon, 12 Nov 2001 23:26:18 +0100] rev 12164
induct_atomize: include atomize_conj (for mutual induction);
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip