src/HOL/Tools/groebner.ML
2010-08-28 haftmann 2010-08-28 formerly unnamed infix equality now named HOL.eq
2010-08-27 haftmann 2010-08-27 formerly unnamed infix conjunction and disjunction now named HOL.conj and HOL.disj
2010-08-26 haftmann 2010-08-26 formerly unnamed infix impliciation now named HOL.implies
2010-08-19 haftmann 2010-08-19 tuned quotes
2010-08-19 haftmann 2010-08-19 use antiquotations for remaining unqualified constants in HOL
2010-07-08 haftmann 2010-07-08 tuned titles
2010-06-08 haftmann 2010-06-08 tuned quotes, antiquotations and whitespace
2010-05-07 haftmann 2010-05-07 delete Groebner_Basis directory -- only one file left