src/HOLCF/Ffun.thy
changeset 25456 6f79698f294d
parent 20523 36a59e5d0039
child 25758 89c7c22e64b4
equal deleted inserted replaced
25455:ab519be677ba 25456:6f79698f294d