src/HOL/Induct/Comb.thy
changeset 66787 64b47495676d
parent 62045 75a7db3cae7e
child 67443 3abf6a722518