src/HOL/ex/Commutative_RingEx.thy
Tue, 20 Sep 2005 14:03:37 +0200 wenzelm tuned theory dependencies;
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