src/HOL/Decision_Procs/Dense_Linear_Order.thy
Wed, 11 Mar 2009 10:58:18 +0100 hoelzl Updated paths in Decision_Procs comments and NEWS
Mon, 09 Feb 2009 16:43:52 +0000 chaieb A generic decision procedure for linear rea arithmetic and normed vector spaces
Fri, 06 Feb 2009 15:15:32 +0100 haftmann session Reflecion renamed to Decision_Procs, moved Dense_Linear_Order there
less more (0) tip