src/HOL/Code_Numeral.thy
changeset 49093 fdc301f592c4
parent 48431 6efff142bb54
child 49834 b27bbb021df1
equal deleted inserted replaced
49092:5eddc9aaebf1 49093:fdc301f592c4