src/Pure/Isar/locale.ML

--- a/src/Pure/Isar/locale.ML	Mon Aug 02 10:16:40 2004 +0200
+++ b/src/Pure/Isar/locale.ML	Mon Aug 02 10:16:58 2004 +0200
@@ -15,7 +15,7 @@
 
 [1] Clemens Ballarin. Locales and Locale Expressions in Isabelle/Isar.
     In Stefano Berardi et al., Types for Proofs and Programs: International
-    Workshop, TYPES 2003, Torino, Italy, pages ??-??, in press.
+    Workshop, TYPES 2003, Torino, Italy, LNCS 3085, pages 34-50, 2004.
 *)
 
 signature LOCALE =