/src/HOL/Tools/BNF/
drwxr-xr-x [up]
-rw-r--r-- 2018-01-01 20:42 +0000 5599 bnf_axiomatization.ML
-rw-r--r-- 2018-01-01 20:42 +0000 44823 bnf_comp.ML
-rw-r--r-- 2018-01-01 20:42 +0000 11849 bnf_comp_tactics.ML
-rw-r--r-- 2018-01-01 20:42 +0000 87927 bnf_def.ML
-rw-r--r-- 2018-01-01 20:42 +0000 21238 bnf_def_tactics.ML
-rw-r--r-- 2018-01-01 20:42 +0000 124937 bnf_fp_def_sugar.ML
-rw-r--r-- 2018-01-01 20:42 +0000 29660 bnf_fp_def_sugar_tactics.ML
-rw-r--r-- 2018-01-01 20:42 +0000 26913 bnf_fp_n2m.ML
-rw-r--r-- 2018-01-01 20:42 +0000 22242 bnf_fp_n2m_sugar.ML
-rw-r--r-- 2018-01-01 20:42 +0000 4856 bnf_fp_n2m_tactics.ML
-rw-r--r-- 2018-01-01 20:42 +0000 6632 bnf_fp_rec_sugar_transfer.ML
-rw-r--r-- 2018-01-01 20:42 +0000 13717 bnf_fp_rec_sugar_util.ML
-rw-r--r-- 2018-01-01 20:42 +0000 39714 bnf_fp_util.ML
-rw-r--r-- 2018-01-01 20:42 +0000 4357 bnf_fp_util_tactics.ML
-rw-r--r-- 2018-01-01 20:42 +0000 113791 bnf_gfp.ML
-rw-r--r-- 2018-01-01 20:42 +0000 148394 bnf_gfp_grec.ML
-rw-r--r-- 2018-01-01 20:42 +0000 99466 bnf_gfp_grec_sugar.ML
-rw-r--r-- 2018-01-01 20:42 +0000 11757 bnf_gfp_grec_sugar_tactics.ML
-rw-r--r-- 2018-01-01 20:42 +0000 16395 bnf_gfp_grec_sugar_util.ML
-rw-r--r-- 2018-01-01 20:42 +0000 24264 bnf_gfp_grec_tactics.ML
-rw-r--r-- 2018-01-01 20:42 +0000 2845 bnf_gfp_grec_unique_sugar.ML
-rw-r--r-- 2018-01-01 20:42 +0000 69386 bnf_gfp_rec_sugar.ML
-rw-r--r-- 2018-01-01 20:42 +0000 9394 bnf_gfp_rec_sugar_tactics.ML
-rw-r--r-- 2018-01-01 20:42 +0000 66459 bnf_gfp_tactics.ML
-rw-r--r-- 2018-01-01 20:42 +0000 5462 bnf_gfp_util.ML
-rw-r--r-- 2018-01-01 20:42 +0000 81365 bnf_lfp.ML
-rw-r--r-- 2018-01-01 20:42 +0000 8556 bnf_lfp_basic_sugar.ML
-rw-r--r-- 2018-01-01 20:42 +0000 21618 bnf_lfp_compat.ML
-rw-r--r-- 2018-01-01 20:42 +0000 7868 bnf_lfp_countable.ML
-rw-r--r-- 2018-01-01 20:42 +0000 26995 bnf_lfp_rec_sugar.ML
-rw-r--r-- 2018-01-01 20:42 +0000 7424 bnf_lfp_rec_sugar_more.ML
-rw-r--r-- 2018-01-01 20:42 +0000 16855 bnf_lfp_size.ML
-rw-r--r-- 2018-01-01 20:42 +0000 41263 bnf_lfp_tactics.ML
-rw-r--r-- 2018-01-01 20:42 +0000 1641 bnf_lfp_util.ML
-rw-r--r-- 2018-01-01 20:42 +0000 19320 bnf_lift.ML
-rw-r--r-- 2018-01-01 20:42 +0000 4247 bnf_tactics.ML
-rw-r--r-- 2018-01-01 20:42 +0000 15944 bnf_util.ML