src/HOL/Library/Abstract_Rat.thy
changeset 31967 81dbc693143b
parent 31952 40501bb2d57c
parent 31964 36156921f5e5
child 32456 341c83339aeb