src/HOL/Library/Float.thy
changeset 51188 9b5bf1a9a710
parent 49834 b27bbb021df1
child 51375 d9e62d9c98de