/src/HOL/Tools/Groebner_Basis/
drwxr-xr-x [up]
-rw-r--r-- 2009-06-24 09:41 +0200 36589 groebner.ML
-rw-r--r-- 2009-06-24 09:41 +0200 576 misc.ML
-rw-r--r-- 2009-06-24 09:41 +0200 24719 normalizer.ML
-rw-r--r-- 2009-06-24 09:41 +0200 7428 normalizer_data.ML