thys3/src/ClosedForms.thy
changeset 653 bc5571c38d1f
parent 563 c92a41d9c4da