src/Pure/Isar/specification.ML

--- a/src/Pure/Isar/specification.ML	Wed Sep 30 22:24:57 2009 +0200
+++ b/src/Pure/Isar/specification.ML	Wed Sep 30 22:25:50 2009 +0200
@@ -136,9 +136,6 @@
   prepare prep_vars parse_prop prep_att do_close
     vars (map single_spec specs) #>> apsnd (map the_spec);
 
-fun prep_specification prep_vars parse_prop prep_att vars specs =
-  prepare prep_vars parse_prop prep_att true [specs];
-
 in
 
 fun check_spec x = prep_spec ProofContext.cert_vars (K I) (K I) true x;