src/HOL/Induct/Term.thy
changeset 66787 64b47495676d
parent 60532 7fb5b7dc8332