src/HOL/arith_data.ML
changeset 14432 b02de2918c59
parent 14368 2763da611ad9
child 14506 6807f524ac4d
equal deleted inserted replaced
14431:ade3d26e0caf 14432:b02de2918c59