src/HOLCF/Fun2.thy
changeset 2003 b48f066d52dc
parent 1479 21eb5e156d91
child 2640 ee4dfce170a0
equal deleted inserted replaced
2002:ed423882c6a9 2003:b48f066d52dc