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
haftmann@24195
     1
haftmann@31378
     2
(* Author: Florian Haftmann, TU Muenchen *)
haftmann@31378
     3
haftmann@31378
     4
header {* Generating code using pretty literals and natural number literals  *}
haftmann@24195
     5
haftmann@37695
     6
theory Candidates_Pretty
bulwahn@42842
     7
imports Candidates Code_Char_ord Efficient_Nat
haftmann@24195
     8
begin
haftmann@24195
     9
haftmann@24195
    10
end