src/HOL/BNF/Tools/bnf_lfp_util.ML
changeset 52334 705bc4f5fc70
parent 49510 ba50d204095e
child 53032 953534445ab6