src/CCL/Term.thy
changeset 20168 ed7bced29e1b
parent 20140 98acc6d0fab6
child 20917 803c94363ccc