src/HOL/Tools/Groebner_Basis/misc.ML
changeset 27532 f3d92b5dcd45
parent 25252 833abbc3e733
equal deleted inserted replaced
27531:bddf129af8ba 27532:f3d92b5dcd45