src/HOL/Library/Dense_Linear_Order.thy
2008-07-07 haftmann 2008-07-07 absolute imports of HOL/*.thy theories
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2008-03-05 wenzelm 2008-03-05 explicit referencing of background facts;
2008-02-27 chaieb 2008-02-27 Old HOL/Dense_Linear_Order.thy and the setup in Arith_Tools for Ferrante and Rackoff's Quantifier elimination for linear arithmetic over ordered Fields.