thys3/ClosedFormsBounds.thy
changeset 588 80e1114d6421
parent 558 671a83abccf3
child 642 6c13f76c070b