--- a/src/Doc/manual.bib Mon May 20 13:07:31 2013 +0200
+++ b/src/Doc/manual.bib Mon May 20 16:12:33 2013 +0200
@@ -883,6 +883,11 @@
title = {The Objective Caml system -- Documentation and user's manual},
note = {\url{http://caml.inria.fr/pub/docs/manual-ocaml/}}}
+@misc{agsyHOL,
+ author = "Fredrik Lindblad",
+ title = "{agsyHOL}",
+ note = "\url{https://github.com/frelindb/agsyHOL}"}
+
@incollection{lochbihler-2010,
title = "Coinduction",
author = "Andreas Lochbihler",
@@ -1541,12 +1546,6 @@
number ="2/3",
pages = "111--126"}
-@misc{sledgehammer-2009,
- key = "Sledgehammer",
- title = "The {S}ledgehammer: Let Automatic Theorem Provers
-Write Your {I}s\-a\-belle Scripts",
- note = "\url{http://www.cl.cam.ac.uk/research/hvg/Isabelle/sledgehammer.html}"}
-
@inproceedings{slind-tfl,
author = {Konrad Slind},
title = {Function Definition in Higher Order Logic},