/src/HOL/Proofs/Extraction/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2011-10-21 11:17 +0200 9463 Euclid.thy
-rw-r--r-- 2011-10-21 11:17 +0200 2656 Greatest_Common_Divisor.thy
-rw-r--r-- 2011-10-21 11:17 +0200 8891 Higman.thy
-rw-r--r-- 2011-10-21 11:17 +0200 2902 Higman_Extraction.thy
-rw-r--r-- 2011-10-21 11:17 +0200 8358 Pigeonhole.thy
-rw-r--r-- 2011-10-21 11:17 +0200 1145 QuotRem.thy
-rw-r--r-- 2011-10-21 11:17 +0200 422 ROOT.ML
-rw-r--r-- 2011-10-21 11:17 +0200 2248 Util.thy
-rw-r--r-- 2011-10-21 11:17 +0200 8466 Warshall.thy