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