isabelle: Changelog

chaieb [Wed, 27 Feb 2008 14:39:52 +0100] rev 26158

Fixed proofs

chaieb [Wed, 27 Feb 2008 14:39:51 +0100] rev 26157

Loads Dense_Linear_Order.thy

chaieb [Wed, 27 Feb 2008 14:39:50 +0100] rev 26156

loads Tools/Qelim/qelim.ML

chaieb [Wed, 27 Feb 2008 14:39:49 +0100] rev 26155

HOL/Dense_Linear_Order.thy moved to Library ; resulting dependencies updated

chaieb [Wed, 27 Feb 2008 14:39:48 +0100] rev 26154

Installation of Quantifier elimination for ordered fields moved to Library/Dense_Linear_Order.thy

haftmann [Tue, 26 Feb 2008 20:38:18 +0100] rev 26153

other UNIV lemmas

haftmann [Tue, 26 Feb 2008 20:38:17 +0100] rev 26152

some more primrec

haftmann [Tue, 26 Feb 2008 20:38:16 +0100] rev 26151

class itself works around a problem with class interpretation in class finite

haftmann [Tue, 26 Feb 2008 20:38:15 +0100] rev 26150

moved some set lemmas from Set.thy here

haftmann [Tue, 26 Feb 2008 20:38:14 +0100] rev 26149

tuned heading

isabelle