src/HOL/Word/Bit_Operations.thy
Wed, 29 Dec 2010 17:34:41 +0100 wenzelm explicit file specifications -- avoid secondary load path;
Wed, 30 Jun 2010 16:28:14 +0200 haftmann more speaking theory names
less more (0) tip