src/HOL/Word/Type_Length.thy
2010-06-30 haftmann 2010-06-30 more speaking theory names