src/HOL/BNF/Ctr_Sugar.thy
changeset 56012 cfb21e03fe2a
parent 55145 b15cfc2864de