/src/HOL/Eisbach/
drwxr-xr-x [up]
-rw-r--r-- 2016-02-22 14:37 +0000 441 Eisbach.thy
-rw-r--r-- 2016-02-22 14:37 +0000 254 Eisbach_Old_Appl_Syntax.thy
-rw-r--r-- 2016-02-22 14:37 +0000 2542 Eisbach_Tools.thy
-rw-r--r-- 2016-02-22 14:37 +0000 7351 Examples.thy
-rw-r--r-- 2016-02-22 14:37 +0000 2655 Examples_FOL.thy
-rw-r--r-- 2016-02-22 14:37 +0000 23974 Tests.thy
-rw-r--r-- 2016-02-22 14:37 +0000 8148 eisbach_rule_insts.ML
-rw-r--r-- 2016-02-22 14:37 +0000 27674 match_method.ML
-rw-r--r-- 2016-02-22 14:37 +0000 10605 method_closure.ML
-rw-r--r-- 2016-02-22 14:37 +0000 1569 parse_tools.ML