src/HOL/Codegenerator_Test/Candidates_Pretty.thy

--- a/src/HOL/Codegenerator_Test/Candidates_Pretty.thy	Fri Feb 15 11:47:33 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-
-(* Author: Florian Haftmann, TU Muenchen *)
-
-header {* Generating code using pretty literals and natural number literals  *}
-
-theory Candidates_Pretty
-imports Candidates Code_Char Code_Target_Numeral
-begin
-
-end