/src/HOL/Algebra/poly/
drwxr-xr-x [up]
-rw-r--r-- 2005-06-28 15:27 +0200 9015 LongDiv.ML
-rw-r--r-- 2005-06-28 15:27 +0200 635 LongDiv.thy
-rw-r--r-- 2005-06-28 15:27 +0200 7177 PolyHomo.ML
-rw-r--r-- 2005-06-28 15:27 +0200 406 PolyHomo.thy
-rw-r--r-- 2005-06-28 15:27 +0200 164 Polynomial.thy
-rw-r--r-- 2005-06-28 15:27 +0200 9707 UnivPoly2.ML
-rw-r--r-- 2005-06-28 15:27 +0200 22582 UnivPoly2.thy