/src/HOL/Tools/Groebner_Basis/
drwxr-xr-x [up]
-rw-r--r-- 2008-03-27 14:41 +0100 36154 groebner.ML
-rw-r--r-- 2008-03-27 14:41 +0100 576 misc.ML
-rw-r--r-- 2008-03-27 14:41 +0100 23221 normalizer.ML
-rw-r--r-- 2008-03-27 14:41 +0100 6789 normalizer_data.ML