src/HOL/Codegenerator_Test/Candidates_Pretty.thy
author Christian Sternagel
Thu Aug 30 15:44:03 2012 +0900 (2012-08-30)
changeset 49093 fdc301f592c4
parent 42842 6ef538f6a8ab
child 51143 0a2371e7ced3
permissions -rw-r--r--
forgot to add lemmas
     1 
     2 (* Author: Florian Haftmann, TU Muenchen *)
     3 
     4 header {* Generating code using pretty literals and natural number literals  *}
     5 
     6 theory Candidates_Pretty
     7 imports Candidates Code_Char_ord Efficient_Nat
     8 begin
     9 
    10 end