src/HOL/BNF/BNF_Util.thy
changeset 54006 9fe1bd54d437
parent 53560 4b5f42cfa244
child 54008 b15cfc2864de