src/HOL/Import/HOL/HOL4Word32.thy
changeset 18851 9502ce541f01
parent 17652 b1ef33ebfa17
child 20485 3078fd2eec7b