wenzelm [Thu, 03 Jan 2008 22:25:13 +0100] rev 25818
nested_command: simplified properties vs. position -- the latter also includes id now;
wenzelm [Thu, 03 Jan 2008 22:25:12 +0100] rev 25817
type T: based on properties, added id field;
added thread_data, setmp_thread_data (formerly in toplevel.ML);
tuned signature;
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;
wenzelm [Thu, 03 Jan 2008 17:50:43 +0100] rev 25809
toplevel print_exn: proper setmp_thread_properties;