/src/HOL/Decision_Procs/
drwxr-xr-x [up]
drwxr-xr-x ex
-rw-r--r-- 2013-11-05 09:44 +0100 177420 Approximation.thy
-rw-r--r-- 2013-11-05 09:44 +0100 10906 Commutative_Ring.thy
-rw-r--r-- 2013-11-05 09:44 +0100 16085 Commutative_Ring_Complete.thy
-rw-r--r-- 2013-11-05 09:44 +0100 97594 Cooper.thy
-rw-r--r-- 2013-11-05 09:44 +0100 1551 DP_Library.thy
-rw-r--r-- 2013-11-05 09:44 +0100 260 Decision_Procs.thy
-rw-r--r-- 2013-11-05 09:44 +0100 49217 Dense_Linear_Order.thy
-rw-r--r-- 2013-11-05 09:44 +0100 92530 Ferrack.thy
-rw-r--r-- 2013-11-05 09:44 +0100 290601 MIR.thy
-rw-r--r-- 2013-11-05 09:44 +0100 158889 Parametric_Ferrante_Rackoff.thy
-rw-r--r-- 2013-11-05 09:44 +0100 39279 Polynomial_List.thy
-rw-r--r-- 2013-11-05 09:44 +0100 20734 Rat_Pair.thy
-rw-r--r-- 2013-11-05 09:44 +0100 79704 Reflected_Multivariate_Polynomial.thy
-rw-r--r-- 2013-11-05 09:44 +0100 4136 commutative_ring_tac.ML
-rw-r--r-- 2013-11-05 09:44 +0100 4802 cooper_tac.ML
-rw-r--r-- 2013-11-05 09:44 +0100 3706 ferrack_tac.ML
-rw-r--r-- 2013-11-05 09:44 +0100 10312 ferrante_rackoff.ML
-rw-r--r-- 2013-11-05 09:44 +0100 4282 ferrante_rackoff_data.ML
-rw-r--r-- 2013-11-05 09:44 +0100 9177 langford.ML
-rw-r--r-- 2013-11-05 09:44 +0100 3403 langford_data.ML
-rw-r--r-- 2013-11-05 09:44 +0100 6512 mir_tac.ML