/src/HOL/Eisbach/ Isabelle2025
drwxr-xr-x [up]
-rw-r--r-- 2025-03-12 11:39 +0100 4764 Eisbach.thy
-rw-r--r-- 2025-03-12 11:39 +0100 254 Eisbach_Old_Appl_Syntax.thy
-rw-r--r-- 2025-03-12 11:39 +0100 2559 Eisbach_Tools.thy
-rw-r--r-- 2025-03-12 11:39 +0100 6008 Example_Metric.thy
-rw-r--r-- 2025-03-12 11:39 +0100 7374 Examples.thy
-rw-r--r-- 2025-03-12 11:39 +0100 2642 Examples_FOL.thy
-rw-r--r-- 2025-03-12 11:39 +0100 25608 Tests.thy
-rw-r--r-- 2025-03-12 11:39 +0100 8288 eisbach_rule_insts.ML
-rw-r--r-- 2025-03-12 11:39 +0100 28094 match_method.ML
-rw-r--r-- 2025-03-12 11:39 +0100 9369 method_closure.ML
-rw-r--r-- 2025-03-12 11:39 +0100 1914 parse_tools.ML