/src/Provers/ default tip
drwxr-xr-x [up]
drwxr-xr-x Arith
-rw-r--r-- 2025-07-14 18:41 +0100 968 README
-rw-r--r-- 2025-07-14 18:41 +0100 55639 blast.ML
-rw-r--r-- 2025-07-14 18:41 +0100 7203 clasimp.ML
-rw-r--r-- 2025-07-14 18:41 +0100 34045 classical.ML
-rw-r--r-- 2025-07-14 18:41 +0100 12886 hypsubst.ML
-rw-r--r-- 2025-07-14 18:41 +0100 23487 order_procedure.ML
-rw-r--r-- 2025-07-14 18:41 +0100 21035 order_tac.ML
-rw-r--r-- 2025-07-14 18:41 +0100 26330 preorder.ML
-rw-r--r-- 2025-07-14 18:41 +0100 9414 quantifier1.ML
-rw-r--r-- 2025-07-14 18:41 +0100 18861 splitter.ML
-rw-r--r-- 2025-07-14 18:41 +0100 22499 trancl.ML
-rw-r--r-- 2025-07-14 18:41 +0100 4848 typedsimp.ML