src/HOL/Numeral_Simprocs.thy
changeset 56916 b00a861d8f16
parent 55375 d26d5f988d71
child 58889 5b7a9633cfa8
equal deleted inserted replaced
56915:75ba0e310663 56916:b00a861d8f16