doc-src/IsarRef/Thy/HOLCF_Specific.thy
branchisac-from-Isabelle2009-2
changeset 37913 20e3616b2d9c
parent 30168 9a20be5be90b
child 43467 6c621a9d612a