Thu, 03 Jan 2008 22:09:44 +0100 new axclass finite_po < finite, po
huffman [Thu, 03 Jan 2008 22:09:44 +0100] rev 25814
new axclass finite_po < finite, po
Thu, 03 Jan 2008 22:08:54 +0100 add lub_maximal lemmas;
huffman [Thu, 03 Jan 2008 22:08:54 +0100] rev 25813
add lub_maximal lemmas; modify conclusion of directed_finiteD; declare not_directed_empty [simp]
Thu, 03 Jan 2008 20:29:00 +0100 added class Property: basic Isabelle properties;
wenzelm [Thu, 03 Jan 2008 20:29:00 +0100] rev 25812
added class Property: basic Isabelle properties;
Thu, 03 Jan 2008 18:19:27 +0100 tuned relevance test for presburger
chaieb [Thu, 03 Jan 2008 18:19:27 +0100] rev 25811
tuned relevance test for presburger
Thu, 03 Jan 2008 17:50:44 +0100 output message properties: id or position;
wenzelm [Thu, 03 Jan 2008 17:50:44 +0100] rev 25810
output message properties: id or position;
Thu, 03 Jan 2008 17:50:43 +0100 toplevel print_exn: proper setmp_thread_properties;
wenzelm [Thu, 03 Jan 2008 17:50:43 +0100] rev 25809
toplevel print_exn: proper setmp_thread_properties;
Thu, 03 Jan 2008 17:50:42 +0100 added id property;
wenzelm [Thu, 03 Jan 2008 17:50:42 +0100] rev 25808
added id property;
Thu, 03 Jan 2008 17:50:41 +0100 Result: added props field;
wenzelm [Thu, 03 Jan 2008 17:50:41 +0100] rev 25807
Result: added props field; tuned;
Thu, 03 Jan 2008 17:22:24 +0100 remove legacy ML bindings
huffman [Thu, 03 Jan 2008 17:22:24 +0100] rev 25806
remove legacy ML bindings
Thu, 03 Jan 2008 17:02:56 +0100 new-style theorem references
huffman [Thu, 03 Jan 2008 17:02:56 +0100] rev 25805
new-style theorem references
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip