thys2/Bounds.thy
changeset 575 3178f0e948ac
parent 365 ec5e4fe4cc70