thys/Bounds.thy
changeset 244 42ac18991a50
parent 194 761793cce563
equal deleted inserted replaced
243:09ab631ce7fa 244:42ac18991a50