/src/HOL/Tools/BNF/
drwxr-xr-x [up]
-rw-r--r-- 2024-11-30 13:40 +0100 5703 bnf_axiomatization.ML
-rw-r--r-- 2024-11-30 13:40 +0100 46460 bnf_comp.ML
-rw-r--r-- 2024-11-30 13:40 +0100 13156 bnf_comp_tactics.ML
-rw-r--r-- 2024-11-30 13:40 +0100 89913 bnf_def.ML
-rw-r--r-- 2024-11-30 13:40 +0100 21405 bnf_def_tactics.ML
-rw-r--r-- 2024-11-30 13:40 +0100 125441 bnf_fp_def_sugar.ML
-rw-r--r-- 2024-11-30 13:40 +0100 29725 bnf_fp_def_sugar_tactics.ML
-rw-r--r-- 2024-11-30 13:40 +0100 26969 bnf_fp_n2m.ML
-rw-r--r-- 2024-11-30 13:40 +0100 22284 bnf_fp_n2m_sugar.ML
-rw-r--r-- 2024-11-30 13:40 +0100 4838 bnf_fp_n2m_tactics.ML
-rw-r--r-- 2024-11-30 13:40 +0100 6696 bnf_fp_rec_sugar_transfer.ML
-rw-r--r-- 2024-11-30 13:40 +0100 13777 bnf_fp_rec_sugar_util.ML
-rw-r--r-- 2024-11-30 13:40 +0100 38937 bnf_fp_util.ML
-rw-r--r-- 2024-11-30 13:40 +0100 4357 bnf_fp_util_tactics.ML
-rw-r--r-- 2024-11-30 13:40 +0100 115334 bnf_gfp.ML
-rw-r--r-- 2024-11-30 13:40 +0100 148933 bnf_gfp_grec.ML
-rw-r--r-- 2024-11-30 13:40 +0100 100570 bnf_gfp_grec_sugar.ML
-rw-r--r-- 2024-11-30 13:40 +0100 11769 bnf_gfp_grec_sugar_tactics.ML
-rw-r--r-- 2024-11-30 13:40 +0100 16679 bnf_gfp_grec_sugar_util.ML
-rw-r--r-- 2024-11-30 13:40 +0100 24325 bnf_gfp_grec_tactics.ML
-rw-r--r-- 2024-11-30 13:40 +0100 2875 bnf_gfp_grec_unique_sugar.ML
-rw-r--r-- 2024-11-30 13:40 +0100 70483 bnf_gfp_rec_sugar.ML
-rw-r--r-- 2024-11-30 13:40 +0100 9765 bnf_gfp_rec_sugar_tactics.ML
-rw-r--r-- 2024-11-30 13:40 +0100 66628 bnf_gfp_tactics.ML
-rw-r--r-- 2024-11-30 13:40 +0100 6054 bnf_gfp_util.ML
-rw-r--r-- 2024-11-30 13:40 +0100 82296 bnf_lfp.ML
-rw-r--r-- 2024-11-30 13:40 +0100 8738 bnf_lfp_basic_sugar.ML
-rw-r--r-- 2024-11-30 13:40 +0100 21721 bnf_lfp_compat.ML
-rw-r--r-- 2024-11-30 13:40 +0100 8250 bnf_lfp_countable.ML
-rw-r--r-- 2024-11-30 13:40 +0100 27421 bnf_lfp_rec_sugar.ML
-rw-r--r-- 2024-11-30 13:40 +0100 7493 bnf_lfp_rec_sugar_more.ML
-rw-r--r-- 2024-11-30 13:40 +0100 16960 bnf_lfp_size.ML
-rw-r--r-- 2024-11-30 13:40 +0100 41413 bnf_lfp_tactics.ML
-rw-r--r-- 2024-11-30 13:40 +0100 1716 bnf_lfp_util.ML
-rw-r--r-- 2024-11-30 13:40 +0100 105011 bnf_lift.ML
-rw-r--r-- 2024-11-30 13:40 +0100 4271 bnf_tactics.ML
-rw-r--r-- 2024-11-30 13:40 +0100 17380 bnf_util.ML