2008-01-03 moved id to position properties;
wenzelm [Thu, 03 Jan 2008 22:25:11 +0100] rev 25816
moved id to position properties;
2008-01-03 instance unit :: finite_po
huffman [Thu, 03 Jan 2008 22:10:52 +0100] rev 25815
instance unit :: finite_po
2008-01-03 new axclass finite_po < finite, po
huffman [Thu, 03 Jan 2008 22:09:44 +0100] rev 25814
new axclass finite_po < finite, po
2008-01-03 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]
2008-01-03 added class Property: basic Isabelle properties;
wenzelm [Thu, 03 Jan 2008 20:29:00 +0100] rev 25812
added class Property: basic Isabelle properties;
2008-01-03 tuned relevance test for presburger
chaieb [Thu, 03 Jan 2008 18:19:27 +0100] rev 25811
tuned relevance test for presburger
2008-01-03 output message properties: id or position;
wenzelm [Thu, 03 Jan 2008 17:50:44 +0100] rev 25810
output message properties: id or position;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip