thys3/ClosedForms.thy
changeset 597 19d304554ae1
parent 558 671a83abccf3
child 642 6c13f76c070b