Summary
- don't throw an exception when trying to print an error message
- eta-expansion done right in "primcorec"
The file was modified | src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML (diff) |
The file was modified | src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML (diff) |
The file was modified | src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML (diff) |
The file was modified | src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML (diff) |