/src/HOL/Decision_Procs/ Isabelle2025
drwxr-xr-x [up]
drwxr-xr-x ex
-rw-r--r-- 2025-03-12 11:39 +0100 22979 Algebra_Aux.thy
-rw-r--r-- 2025-03-12 11:39 +0100 52414 Approximation.thy
-rw-r--r-- 2025-03-12 11:39 +0100 141142 Approximation_Bounds.thy
-rw-r--r-- 2025-03-12 11:39 +0100 38485 Commutative_Ring.thy
-rw-r--r-- 2025-03-12 11:39 +0100 16152 Commutative_Ring_Complete.thy
-rw-r--r-- 2025-03-12 11:39 +0100 34719 Conversions.thy
-rw-r--r-- 2025-03-12 11:39 +0100 103756 Cooper.thy
-rw-r--r-- 2025-03-12 11:39 +0100 1583 DP_Library.thy
-rw-r--r-- 2025-03-12 11:39 +0100 295 Decision_Procs.thy
-rw-r--r-- 2025-03-12 11:39 +0100 48868 Dense_Linear_Order.thy
-rw-r--r-- 2025-03-12 11:39 +0100 97555 Ferrack.thy
-rw-r--r-- 2025-03-12 11:39 +0100 303848 MIR.thy
-rw-r--r-- 2025-03-12 11:39 +0100 161501 Parametric_Ferrante_Rackoff.thy
-rw-r--r-- 2025-03-12 11:39 +0100 37714 Polynomial_List.thy
-rw-r--r-- 2025-03-12 11:39 +0100 20408 Rat_Pair.thy
-rw-r--r-- 2025-03-12 11:39 +0100 79840 Reflected_Multivariate_Polynomial.thy
-rw-r--r-- 2025-03-12 11:39 +0100 38155 Reflective_Field.thy
-rw-r--r-- 2025-03-12 11:39 +0100 12114 approximation.ML
-rw-r--r-- 2025-03-12 11:39 +0100 9983 approximation_generator.ML
-rw-r--r-- 2025-03-12 11:39 +0100 4119 cooper_tac.ML
-rw-r--r-- 2025-03-12 11:39 +0100 2864 ferrack_tac.ML
-rw-r--r-- 2025-03-12 11:39 +0100 10649 ferrante_rackoff.ML
-rw-r--r-- 2025-03-12 11:39 +0100 4280 ferrante_rackoff_data.ML
-rw-r--r-- 2025-03-12 11:39 +0100 10094 langford.ML
-rw-r--r-- 2025-03-12 11:39 +0100 3382 langford_data.ML
-rw-r--r-- 2025-03-12 11:39 +0100 5334 mir_tac.ML