thys2/SizeBound3.thy
changeset 428 5dcecc92608e
parent 393 3954579ebdaf
child 492 61eff2abb0b6
equal deleted inserted replaced
427:ec08181c1f42 428:5dcecc92608e