/src/HOL/Eisbach/
drwxr-xr-x [up]
-rw-r--r-- 2015-07-18 22:58 +0200 901 Eisbach.thy
-rw-r--r-- 2015-07-18 22:58 +0200 2542 Eisbach_Tools.thy
-rw-r--r-- 2015-07-18 22:58 +0200 7341 Examples.thy
-rw-r--r-- 2015-07-18 22:58 +0200 23625 Tests.thy
-rw-r--r-- 2015-07-18 22:58 +0200 2046 eisbach_antiquotations.ML
-rw-r--r-- 2015-07-18 22:58 +0200 8627 eisbach_rule_insts.ML
-rw-r--r-- 2015-07-18 22:58 +0200 30167 match_method.ML
-rw-r--r-- 2015-07-18 22:58 +0200 14893 method_closure.ML
-rw-r--r-- 2015-07-18 22:58 +0200 1561 parse_tools.ML