src/HOL/Basic_BNFs.thy
changeset 66787 64b47495676d
parent 62335 e85c42f4f30a
child 67091 1393c2340eec