# HG changeset patch
# User haftmann
# Date 1330817359 -3600
# Node ID 04f2d3c510d0c5be7731ba4c0f81852e1daaf3d9
# Parent  cc47e252b92cd3ba97f422a4197041d7bdbd0f90
dropped dead code

diff -r cc47e252b92c -r 04f2d3c510d0 src/HOL/Import/import_syntax.ML
--- a/src/HOL/Import/import_syntax.ML	Sun Mar 04 00:27:07 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,12 +0,0 @@
-(*  Title:      HOL/Import/import_syntax.ML
-    Author:     Sebastian Skalberg (TU Muenchen)
-*)
-
-signature IMPORTER_IMPORT_SYNTAX =
-sig
-end
-
-structure Importer_Import_Syntax : IMPORTER_IMPORT_SYNTAX =
-struct
-
-end