src/CCL/term.thy
changeset 3044 3e3087aa69e7
parent 289 78541329ff35