src/HOL/Fun.thy
changeset 3044 3e3087aa69e7
parent 2912 3fac3e8d5d3e
child 4059 59c1422c9da5
equal deleted inserted replaced
3043:63a77d6b7eca 3044:3e3087aa69e7