src/HOL/Induct/Term.thy
changeset 71751 abf3e80bd815
parent 60532 7fb5b7dc8332