src/HOL/Basic_BNF_LFPs.thy
changeset 64215 123e6dcd3852
parent 63045 c50c764aab10
child 67332 cb96edae56ef