src/HOL/Word/Bit_Operations.thy
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-06-30 haftmann 2010-06-30 more speaking theory names