# HG changeset patch
# User wenzelm
# Date 1514459214 -3600
# Node ID 352c2c93a1c08f1bc0483c88374a8bd51041d1d2
# Parent  338fb884286bae33e508cbc16e22e755f07de811
more accurate bibtex entries;

diff -r 338fb884286b -r 352c2c93a1c0 src/Doc/manual.bib
--- a/src/Doc/manual.bib	Thu Dec 28 11:49:54 2017 +0100
+++ b/src/Doc/manual.bib	Thu Dec 28 12:06:54 2017 +0100
@@ -2460,6 +2460,8 @@
 @Proceedings{tphols2008,
   title         = {Theorem Proving in Higher Order Logics: {TPHOLs} 2008},
   booktitle     = {Theorem Proving in Higher Order Logics: {TPHOLs} 2008},
+  editor        = {Otmane A{\"{\i}}t Mohamed and C{\'{e}}sar A. Mu{\~{n}}oz and
+                   Sofi{\`{e}}ne Tahar},
   publisher     = Springer,
   series        = LNCS,
   year          = 2008}
@@ -2476,7 +2478,8 @@
 
 @unpublished{classes_modules,
   title         = {{ML} Modules and {Haskell} Type Classes: A Constructive Comparison},
-  author        = {Stefan Wehr et. al.}
+  author        = {Stefan Wehr and Manuel M. T. Chakravarty},
+  note          = {\url{https://www.cse.unsw.edu.au/~chak/papers/modules-classes.pdf}}
 }
 
 @inproceedings{runciman-naylor-lindblad,