--- a/src/Doc/manual.bib Wed Feb 10 11:22:57 2016 +0100
+++ b/src/Doc/manual.bib Wed Feb 10 14:14:43 2016 +0100
@@ -1121,6 +1121,22 @@
year = 1984,
publisher = {Bibliopolis}}
+@inproceedings{Matichuk-et-al:2014,
+ author = {Daniel Matichuk and Makarius Wenzel and Toby C. Murray},
+ title = {An {Isabelle} Proof Method Language},
+ editor = {Gerwin Klein and Ruben Gamboa},
+ booktitle = {Interactive Theorem Proving - 5th International Conference, {ITP}
+ 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
+ Austria},
+ year = {2014},
+ url = {http://dx.doi.org/10.1007/978-3-319-08970-6_25},
+ doi = {10.1007/978-3-319-08970-6_25},
+ series = LNCS,
+ volume = {8558},
+ publisher = {Springer},
+ year = {2014},
+}
+
@incollection{melham89,
author = {Thomas F. Melham},
title = {Automating Recursive Type Definitions in Higher Order