thys3/ClosedFormsBounds.thy
changeset 602 46db6ae66448
parent 558 671a83abccf3
child 642 6c13f76c070b