src/HOLCF/tr2.thy
changeset 2371 c5dc6f8b385b
parent 243 c22b85994e17
equal deleted inserted replaced
2370:5f9607d293f5 2371:c5dc6f8b385b