src/HOL/Code_Numeral.thy
2009-05-27 haftmann 2009-05-27 added lemma about 0 - 1
2009-05-19 haftmann 2009-05-19 String.literal replaces message_string, code_numeral replaces (code_)index