src/HOLCF/ex/Dagstuhl.thy
changeset 40084 23a1cfdb5acb
parent 35948 5e7909f0346b
child 40431 682d6c455670