doc-src/Locales/Locales/document/root.bib

--- a/doc-src/Locales/Locales/document/root.bib	Thu Oct 15 22:22:08 2009 +0200
+++ b/doc-src/Locales/Locales/document/root.bib	Sat Oct 17 22:58:18 2009 +0200
@@ -42,6 +42,24 @@
   year = 2006
 }
 
+% TYPES 2003
+
+@inproceedings{Ballarin2004a,
+  author = "Clemens Ballarin",
+  title = "Locales and Locale Expressions in {Isabelle/Isar}",
+  pages = "34--50",
+  crossref = "BerardiEtAl2004"
+}
+
+@proceedings{BerardiEtAl2004,
+  editor = "Stefano Berardi and Mario Coppo and Ferruccio Damiani",
+  title = "Types for Proofs and Programs, TYPES 2003, Torino, Italy",
+  booktitle = "Types for Proofs and Programs, TYPES 2003, Torino, Italy",
+  publisher = "Springer",
+  series = "LNCS 3085",
+  year = 2004
+}
+
 % TYPES 2008
 
 @inproceedings{HaftmannWenzel2009,