--- a/doc-src/manual.bib Sun Oct 24 20:37:30 2010 +0200
+++ b/doc-src/manual.bib Sun Oct 24 21:25:13 2010 +0200
@@ -319,6 +319,18 @@
%C
+@InProceedings{Chaieb-Wenzel:2007,
+ author = {Amine Chaieb and Makarius Wenzel},
+ title = {Context aware Calculation and Deduction ---
+ Ring Equalities via {Gr\"obner Bases} in {Isabelle}},
+ booktitle = {Towards Mechanized Mathematical Assistants (CALCULEMUS 2007)},
+ editor = {Manuel Kauers and Manfred Kerber and Robert Miner and Wolfgang Windsteiger},
+ series = LNAI,
+ volume = 4573,
+ year = 2007,
+ publisher = Springer
+}
+
@TechReport{camilleri92,
author = {J. Camilleri and T. F. Melham},
title = {Reasoning with Inductively Defined Relations in the
@@ -1053,7 +1065,7 @@
@manual{isabelle-intro,
author = {Lawrence C. Paulson},
- title = {Introduction to {Isabelle}},
+ title = {Old Introduction to {Isabelle}},
institution = CUCL,
note = {\url{http://isabelle.in.tum.de/doc/intro.pdf}}}
@@ -1065,7 +1077,7 @@
@manual{isabelle-ref,
author = {Lawrence C. Paulson},
- title = {The {Isabelle} Reference Manual},
+ title = {The Old {Isabelle} Reference Manual},
institution = CUCL,
note = {\url{http://isabelle.in.tum.de/doc/ref.pdf}}}
@@ -1393,6 +1405,14 @@
year = 2000,
publisher = Springer}
+@Article{Sutter:2005,
+ author = {H. Sutter},
+ title = {The Free Lunch Is Over --- A Fundamental Turn Toward Concurrency in Software},
+ journal = {Dr. Dobb's Journal},
+ year = 2005,
+ volume = 30,
+ number = 3}
+
@InCollection{szasz93,
author = {Nora Szasz},
title = {A Machine Checked Proof that {Ackermann's} Function is not
@@ -1569,6 +1589,24 @@
note = {\url{http://www.in.tum.de/~wenzelm/papers/isar-framework.pdf}}
}
+@InProceedings{Wenzel-Chaieb:2007b,
+ author = {Makarius Wenzel and Amine Chaieb},
+ title = {{SML} with antiquotations embedded into {Isabelle/Isar}},
+ booktitle = {Workshop on Programming Languages for Mechanized Mathematics
+ (satellite of CALCULEMUS 2007). Hagenberg, Austria},
+ editor = {Jacques Carette and Freek Wiedijk},
+ month = {June},
+ year = {2007}
+}
+
+@InProceedings{Wenzel:2009,
+ author = {M. Wenzel},
+ title = {Parallel Proof Checking in {Isabelle/Isar}},
+ booktitle = {ACM SIGSAM Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2009)},
+ year = 2009,
+ editor = {Dos Reis, G. and L. Th\'ery},
+ publisher = {ACM Digital Library}}
+
@book{principia,
author = {A. N. Whitehead and B. Russell},
title = {Principia Mathematica},