src/HOL/BNF_Comp.thy
changeset 55415 05f5fdb8d093
parent 55066 4e5ddf3162ac
child 55705 a98a045a6169