src/HOL/Basic_BNFs.thy
changeset 76371 1ac2416e8432
parent 75625 0dd3ac5fdbaa
child 76953 f70d431b5016