src/HOLCF/UpperPD.thy
changeset 27694 31a8e0908b9f
parent 27405 785f5dbec8f4
child 29138 661a8db7e647
child 29237 e90d9d51106b