/src/HOL/Decision_Procs/
drwxr-xr-x [up]
drwxr-xr-x ex
-rw-r--r-- 2021-04-12 14:14 +0200 22940 Algebra_Aux.thy
-rw-r--r-- 2021-04-12 14:14 +0200 53574 Approximation.thy
-rw-r--r-- 2021-04-12 14:14 +0200 141313 Approximation_Bounds.thy
-rw-r--r-- 2021-04-12 14:14 +0200 38878 Commutative_Ring.thy
-rw-r--r-- 2021-04-12 14:14 +0200 16897 Commutative_Ring_Complete.thy
-rw-r--r-- 2021-04-12 14:14 +0200 34954 Conversions.thy
-rw-r--r-- 2021-04-12 14:14 +0200 103605 Cooper.thy
-rw-r--r-- 2021-04-12 14:14 +0200 1583 DP_Library.thy
-rw-r--r-- 2021-04-12 14:14 +0200 295 Decision_Procs.thy
-rw-r--r-- 2021-04-12 14:14 +0200 49325 Dense_Linear_Order.thy
-rw-r--r-- 2021-04-12 14:14 +0200 97683 Ferrack.thy
-rw-r--r-- 2021-04-12 14:14 +0200 303842 MIR.thy
-rw-r--r-- 2021-04-12 14:14 +0200 166099 Parametric_Ferrante_Rackoff.thy
-rw-r--r-- 2021-04-12 14:14 +0200 40343 Polynomial_List.thy
-rw-r--r-- 2021-04-12 14:14 +0200 21004 Rat_Pair.thy
-rw-r--r-- 2021-04-12 14:14 +0200 80257 Reflected_Multivariate_Polynomial.thy
-rw-r--r-- 2021-04-12 14:14 +0200 38410 Reflective_Field.thy
-rw-r--r-- 2021-04-12 14:14 +0200 12529 approximation.ML
-rw-r--r-- 2021-04-12 14:14 +0200 9973 approximation_generator.ML
-rw-r--r-- 2021-04-12 14:14 +0200 4111 cooper_tac.ML
-rw-r--r-- 2021-04-12 14:14 +0200 2894 ferrack_tac.ML
-rw-r--r-- 2021-04-12 14:14 +0200 10801 ferrante_rackoff.ML
-rw-r--r-- 2021-04-12 14:14 +0200 4281 ferrante_rackoff_data.ML
-rw-r--r-- 2021-04-12 14:14 +0200 10243 langford.ML
-rw-r--r-- 2021-04-12 14:14 +0200 3392 langford_data.ML
-rw-r--r-- 2021-04-12 14:14 +0200 5447 mir_tac.ML