src/HOL/Basic_BNF_LFPs.thy
changeset 66787 64b47495676d
parent 63045 c50c764aab10
child 67332 cb96edae56ef