src/HOLCF/Ssum3.thy
changeset 12472 3307149f1ec2
parent 12030 46d57d0290a2
child 14981 e73f8140af78
equal deleted inserted replaced
12471:632cb16dc07e 12472:3307149f1ec2