src/HOL/Word/Word.thy
2009-01-26 haftmann 2009-01-26 entry point for Word library now named Word