src/HOL/Basic_BNFs.thy
changeset 66142 90629b166203
parent 62335 e85c42f4f30a
child 67091 1393c2340eec
equal deleted inserted replaced
66141:81c8bb1d33b9 66142:90629b166203