/src/HOL/Decision_Procs/
drwxr-xr-x [up]
drwxr-xr-x ex
-rw-r--r-- 2014-03-07 22:30 +0100 173471 Approximation.thy
-rw-r--r-- 2014-03-07 22:30 +0100 10745 Commutative_Ring.thy
-rw-r--r-- 2014-03-07 22:30 +0100 16918 Commutative_Ring_Complete.thy
-rw-r--r-- 2014-03-07 22:30 +0100 104870 Cooper.thy
-rw-r--r-- 2014-03-07 22:30 +0100 1583 DP_Library.thy
-rw-r--r-- 2014-03-07 22:30 +0100 260 Decision_Procs.thy
-rw-r--r-- 2014-03-07 22:30 +0100 49095 Dense_Linear_Order.thy
-rw-r--r-- 2014-03-07 22:30 +0100 92521 Ferrack.thy
-rw-r--r-- 2014-03-07 22:30 +0100 290610 MIR.thy
-rw-r--r-- 2014-03-07 22:30 +0100 165547 Parametric_Ferrante_Rackoff.thy
-rw-r--r-- 2014-03-07 22:30 +0100 39336 Polynomial_List.thy
-rw-r--r-- 2014-03-07 22:30 +0100 20734 Rat_Pair.thy
-rw-r--r-- 2014-03-07 22:30 +0100 79581 Reflected_Multivariate_Polynomial.thy
-rw-r--r-- 2014-03-07 22:30 +0100 4145 commutative_ring_tac.ML
-rw-r--r-- 2014-03-07 22:30 +0100 3920 cooper_tac.ML
-rw-r--r-- 2014-03-07 22:30 +0100 2859 ferrack_tac.ML
-rw-r--r-- 2014-03-07 22:30 +0100 10317 ferrante_rackoff.ML
-rw-r--r-- 2014-03-07 22:30 +0100 4188 ferrante_rackoff_data.ML
-rw-r--r-- 2014-03-07 22:30 +0100 9724 langford.ML
-rw-r--r-- 2014-03-07 22:30 +0100 3369 langford_data.ML
-rw-r--r-- 2014-03-07 22:30 +0100 5733 mir_tac.ML