src/CCL/term.thy
changeset 3044 3e3087aa69e7
parent 289 78541329ff35
equal deleted inserted replaced
3043:63a77d6b7eca 3044:3e3087aa69e7