/src/HOL/BNF/Tools/
drwxr-xr-x [up]
-rw-r--r-- 2013-11-05 16:53 +0100 29414 bnf_comp.ML
-rw-r--r-- 2013-11-05 16:53 +0100 9959 bnf_comp_tactics.ML
-rw-r--r-- 2013-11-05 16:53 +0100 54050 bnf_def.ML
-rw-r--r-- 2013-11-05 16:53 +0100 15745 bnf_def_tactics.ML
-rw-r--r-- 2013-11-05 16:53 +0100 65146 bnf_fp_def_sugar.ML
-rw-r--r-- 2013-11-05 16:53 +0100 8664 bnf_fp_def_sugar_tactics.ML
-rw-r--r-- 2013-11-05 16:53 +0100 16801 bnf_fp_n2m.ML
-rw-r--r-- 2013-11-05 16:53 +0100 15483 bnf_fp_n2m_sugar.ML
-rw-r--r-- 2013-11-05 16:53 +0100 1324 bnf_fp_n2m_tactics.ML
-rw-r--r-- 2013-11-05 16:53 +0100 2141 bnf_fp_rec_sugar_util.ML
-rw-r--r-- 2013-11-05 16:53 +0100 22454 bnf_fp_util.ML
-rw-r--r-- 2013-11-05 16:53 +0100 128060 bnf_gfp.ML
-rw-r--r-- 2013-11-05 16:53 +0100 49746 bnf_gfp_rec_sugar.ML
-rw-r--r-- 2013-11-05 16:53 +0100 5959 bnf_gfp_rec_sugar_tactics.ML
-rw-r--r-- 2013-11-05 16:53 +0100 78643 bnf_gfp_tactics.ML
-rw-r--r-- 2013-11-05 16:53 +0100 6171 bnf_gfp_util.ML
-rw-r--r-- 2013-11-05 16:53 +0100 81822 bnf_lfp.ML
-rw-r--r-- 2013-11-05 16:53 +0100 6712 bnf_lfp_compat.ML
-rw-r--r-- 2013-11-05 16:53 +0100 23795 bnf_lfp_rec_sugar.ML
-rw-r--r-- 2013-11-05 16:53 +0100 40946 bnf_lfp_tactics.ML
-rw-r--r-- 2013-11-05 16:53 +0100 2167 bnf_lfp_util.ML
-rw-r--r-- 2013-11-05 16:53 +0100 4179 bnf_tactics.ML
-rw-r--r-- 2013-11-05 16:53 +0100 24143 bnf_util.ML
-rw-r--r-- 2013-11-05 16:53 +0100 6297 coinduction.ML
-rw-r--r-- 2013-11-05 16:53 +0100 39531 ctr_sugar.ML
-rw-r--r-- 2013-11-05 16:53 +0100 7379 ctr_sugar_tactics.ML
-rw-r--r-- 2013-11-05 16:53 +0100 7181 ctr_sugar_util.ML