/src/HOL/Tools/Groebner_Basis/
drwxr-xr-x [up]
-rw-r--r-- 2009-03-01 23:36 +0100 36500 groebner.ML
-rw-r--r-- 2009-03-01 23:36 +0100 576 misc.ML
-rw-r--r-- 2009-03-01 23:36 +0100 23705 normalizer.ML
-rw-r--r-- 2009-03-01 23:36 +0100 6789 normalizer_data.ML