thys2/ClosedForms.thy
changeset 511 47618d607bbf
parent 492 61eff2abb0b6