src/HOL/BNF_Util.thy
changeset 55811 aa1acc25126b
parent 55803 74d3fe9031d8
child 55945 e96383acecf9