src/HOL/Word/Tools/word_lib.ML
changeset 57978 8f4a332500e4
parent 47567 407cabf66f21
child 59806 d3d4ec6c21ef