src/HOL/Tools/groebner.ML
Fri, 07 Jan 2011 23:02:12 +0100 wenzelm eliminated alias;
Fri, 07 Jan 2011 22:44:07 +0100 wenzelm do not open ML structures;
Fri, 26 Nov 2010 20:52:21 +0100 wenzelm eliminated some clones of eq_list;
Sat, 28 Aug 2010 16:14:32 +0200 haftmann formerly unnamed infix equality now named HOL.eq
Fri, 27 Aug 2010 10:56:46 +0200 haftmann formerly unnamed infix conjunction and disjunction now named HOL.conj and HOL.disj
Thu, 26 Aug 2010 20:51:17 +0200 haftmann formerly unnamed infix impliciation now named HOL.implies
Thu, 19 Aug 2010 16:08:59 +0200 haftmann tuned quotes
Thu, 19 Aug 2010 11:02:14 +0200 haftmann use antiquotations for remaining unqualified constants in HOL
Thu, 08 Jul 2010 16:19:24 +0200 haftmann tuned titles
Tue, 08 Jun 2010 16:37:22 +0200 haftmann tuned quotes, antiquotations and whitespace
Fri, 07 May 2010 16:12:25 +0200 haftmann delete Groebner_Basis directory -- only one file left
less more (0) tip