Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
dropped dead code
authorhaftmann
Sun, 04 Mar 2012 00:29:19 +0100
changeset 46807 04f2d3c510d0
parent 46806 cc47e252b92c
child 46808 a4ae06650a0a
dropped dead code
src/HOL/Import/import_syntax.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle