/src/HOL/Algebra/poly/
drwxr-xr-x [up]
-rw-r--r-- 2001-01-31 10:15 +0100 9661 Degree.ML
-rw-r--r-- 2001-01-31 10:15 +0100 215 Degree.thy
-rw-r--r-- 2001-01-31 10:15 +0100 6284 LongDiv.ML
-rw-r--r-- 2001-01-31 10:15 +0100 334 LongDiv.thy
-rw-r--r-- 2001-01-31 10:15 +0100 4002 PolyHomo.ML
-rw-r--r-- 2001-01-31 10:15 +0100 473 PolyHomo.thy
-rw-r--r-- 2001-01-31 10:15 +0100 1934 PolyRing.ML
-rw-r--r-- 2001-01-31 10:15 +0100 387 PolyRing.thy
-rw-r--r-- 2001-01-31 10:15 +0100 164 Polynomial.thy
-rw-r--r-- 2001-01-31 10:15 +0100 687 ProtoPoly.ML
-rw-r--r-- 2001-01-31 10:15 +0100 251 ProtoPoly.thy
-rw-r--r-- 2001-01-31 10:15 +0100 6747 UnivPoly.ML
-rw-r--r-- 2001-01-31 10:15 +0100 1268 UnivPoly.thy