src/HOL/ex/Groebner_Examples.thy
Thu, 06 May 2010 17:59:19 +0200 haftmann dropped duplicate comp_arith
Thu, 06 May 2010 16:32:20 +0200 haftmann dropped auxiliary method sring_norm; integrated normalizer.ML and normalizer_data.ML
Fri, 23 Apr 2010 23:35:43 +0200 wenzelm mark schematic statements explicitly;
Wed, 29 Apr 2009 14:20:26 +0200 haftmann farewell to class recpower
Tue, 18 Mar 2008 20:33:33 +0100 wenzelm tuned proof;
Wed, 31 Oct 2007 12:19:45 +0100 chaieb Added example for the ideal membership problem solved by algebra
Thu, 05 Jul 2007 00:06:19 +0200 wenzelm tuned;
Tue, 12 Jun 2007 10:40:44 +0200 chaieb Tuned proofs : now use 'algebra ad: ...'
Mon, 11 Jun 2007 18:34:12 +0200 nipkow nex example
Tue, 05 Jun 2007 22:47:49 +0200 wenzelm Groebner Basis Examples.
less more (0) tip