/src/HOL/Eisbach/
drwxr-xr-x [up]
-rw-r--r-- 2017-09-26 20:54 +0200 441 Eisbach.thy
-rw-r--r-- 2017-09-26 20:54 +0200 254 Eisbach_Old_Appl_Syntax.thy
-rw-r--r-- 2017-09-26 20:54 +0200 2514 Eisbach_Tools.thy
-rw-r--r-- 2017-09-26 20:54 +0200 7350 Examples.thy
-rw-r--r-- 2017-09-26 20:54 +0200 2642 Examples_FOL.thy
-rw-r--r-- 2017-09-26 20:54 +0200 25645 Tests.thy
-rw-r--r-- 2017-09-26 20:54 +0200 8148 eisbach_rule_insts.ML
-rw-r--r-- 2017-09-26 20:54 +0200 27777 match_method.ML
-rw-r--r-- 2017-09-26 20:54 +0200 9188 method_closure.ML
-rw-r--r-- 2017-09-26 20:54 +0200 1913 parse_tools.ML