src/HOLCF/Up.thy
changeset 38924 fcd1d0457e27
parent 36452 d37c6eed8117
child 39199 720112792ba0