doc-src/IsarAdvanced/Functions/Thy/Functions.thy
changeset 21523 a267ecd51f90
parent 21346 c8aa120fa05d
child 22065 cdd077905eee
equal deleted inserted replaced
21522:bd641d927437 21523:a267ecd51f90