# HG changeset patch
# User paulson
# Date 810896669 -7200
# Node ID 0e76adc74e7f644efd1332dc3183ff2b46880ef4
# Parent  a28e04685adcecff148a03f2b77b84a3a7a61520
trivial update to POPL title

diff -r a28e04685adc -r 0e76adc74e7f doc-src/Ref/ref.bbl
--- a/doc-src/Ref/ref.bbl	Mon Sep 11 14:16:28 1995 +0200
+++ b/doc-src/Ref/ref.bbl	Tue Sep 12 11:04:29 1995 +0200
@@ -19,7 +19,8 @@
 \bibitem{OBJ}
 K.~Futatsugi, J.A. Goguen, Jean-Pierre Jouannaud, and J.~Meseguer.
 \newblock Principles of {OBJ2}.
-\newblock In {\em Principles of Programming Languages}, pages 52--66, 1985.
+\newblock In {\em Symposium on Principles of Programming Languages}, pages
+  52--66, 1985.
 
 \bibitem{martin-nipkow}
 Ursula Martin and Tobias Nipkow.