src/HOL/Word/Tools/word_lib.ML
Wed, 25 Mar 2015 10:41:53 +0100 wenzelm proper signature;
Tue, 17 Apr 2012 16:21:47 +1000 Thomas Sewell New tactic "word_bitwise" expands word equalities/inequalities into logic.
less more (0) tip