src/HOL/Num.thy
changeset 66695 91500c024c7f
parent 66283 adf3155c57e2
child 66936 cf8d8fc23891