Wed, 27 Feb 2013 16:27:44 +0100 discontinued obsolete header "files" -- these are loaded explicitly after exploring dependencies;
wenzelm [Wed, 27 Feb 2013 16:27:44 +0100] rev 51294
discontinued obsolete header "files" -- these are loaded explicitly after exploring dependencies;
Wed, 27 Feb 2013 12:45:19 +0100 discontinued obsolete 'uses' within theory header;
wenzelm [Wed, 27 Feb 2013 12:45:19 +0100] rev 51293
discontinued obsolete 'uses' within theory header;
Wed, 27 Feb 2013 13:48:15 +0100 use lemma from Big_Operators
Andreas Lochbihler [Wed, 27 Feb 2013 13:48:15 +0100] rev 51292
use lemma from Big_Operators
Wed, 27 Feb 2013 13:44:19 +0100 add inclusion/exclusion lemma
Andreas Lochbihler [Wed, 27 Feb 2013 13:44:19 +0100] rev 51291
add inclusion/exclusion lemma
Wed, 27 Feb 2013 13:43:04 +0100 added lemma
Andreas Lochbihler [Wed, 27 Feb 2013 13:43:04 +0100] rev 51290
added lemma
Wed, 27 Feb 2013 10:33:45 +0100 merged
Andreas Lochbihler [Wed, 27 Feb 2013 10:33:45 +0100] rev 51289
merged
Wed, 27 Feb 2013 10:33:30 +0100 add wellorder instance for Numeral_Type (suggested by Jesus Aransay)
Andreas Lochbihler [Wed, 27 Feb 2013 10:33:30 +0100] rev 51288
add wellorder instance for Numeral_Type (suggested by Jesus Aransay)
Tue, 26 Feb 2013 20:11:11 +0100 updated Toplevel.command_exception;
wenzelm [Tue, 26 Feb 2013 20:11:11 +0100] rev 51287
updated Toplevel.command_exception;
Tue, 26 Feb 2013 20:09:25 +0100 tuned;
wenzelm [Tue, 26 Feb 2013 20:09:25 +0100] rev 51286
tuned;
Tue, 26 Feb 2013 19:58:27 +0100 tuned signature;
wenzelm [Tue, 26 Feb 2013 19:58:27 +0100] rev 51285
tuned signature;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip