src/HOL/ex/Commutative_Ring_Complete.thy
Wed, 14 Sep 2005 22:08:08 +0200 wenzelm tuned headers etc.;
Wed, 14 Sep 2005 17:25:52 +0200 chaieb The oracle for Presburger has been changer: It is automatically generated form a verified formaliztion of Cooper's Algorithm ex/Reflected_Presburger.thy
less more (0) tip