src/HOL/PreList.thy
changeset 14722 8e739a6eaf11
parent 14577 dbb95b825244
child 15131 c69542757a4d