# HG changeset patch
# User wenzelm
# Date 1673809237 -3600
# Node ID f327ae3cab2afc5524d4f253a582aad425765a3d
# Parent  7f7d5c93e36bc47fbd81875d088224c30bb0bc57
more complete Bibtex database;

diff -r 7f7d5c93e36b -r f327ae3cab2a src/HOL/Library/document/root.bib
--- a/src/HOL/Library/document/root.bib	Sun Jan 15 20:00:22 2023 +0100
+++ b/src/HOL/Library/document/root.bib	Sun Jan 15 20:00:37 2023 +0100
@@ -58,4 +58,15 @@
   title = {Lazy Algebraic Types in {Isabelle/HOL}},
   booktitle = {Isabelle Workshop 2018},
   year = 2018,
-}
\ No newline at end of file
+}
+
+@inproceedings{Haftmann-Nipkow:2010:code,
+  author =      {Florian Haftmann and Tobias Nipkow},
+  title =       {Code Generation via Higher-Order Rewrite Systems},
+  booktitle =   {Functional and Logic Programming: 10th International Symposium: FLOPS 2010},
+  year =        2010,
+  publisher =   Springer,
+  series =      LNCS,
+  editor =      {Matthias Blume and Naoki Kobayashi and Germ{\'a}n Vidal},
+  volume =      6009
+}