--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Library/document/root.bib Tue May 25 21:49:44 2010 +0200
@@ -0,0 +1,54 @@
+
+@Unpublished{Abrial-Laffitte,
+ author = {Abrial and Laffitte},
+ title = {Towards the Mechanization of the Proofs of
+ Some Classical Theorems of Set Theory},
+ note = {Unpublished}
+}
+
+@InProceedings{Avigad-Donnelly,
+ author = {Jeremy Avigad and Kevin Donnelly},
+ title = {Formalizing {O} notation in {Isabelle/HOL}},
+ booktitle = {Automated Reasoning: second international conference, IJCAR 2004},
+ pages = {357--371},
+ year = 2004,
+ editor = {David Basin and Micha\"el Rusiowitch},
+ publisher = {Springer}
+}
+
+@Book{Oberschelp:1993,
+ author = {Arnold Oberschelp},
+ title = {Rekursionstheorie},
+ publisher = {BI-Wissenschafts-Verlag},
+ year = 1993
+}
+
+@InProceedings{Podelski-Rybalchenko,
+ author = {Andreas Podelski and Andrey Rybalchenko},
+ title = {Transition Invariants},
+ booktitle = {19th Annual IEEE Symposium on Logic in Computer Science (LICS'04)},
+ pages = {32--41},
+ year = 2004
+}
+
+@Book{davenport92,
+ author = {H. Davenport},
+ title = {The Higher Arithmetic},
+ publisher = {Cambridge University Press},
+ year = 1992
+}
+
+@InProceedings{paulin-tlca,
+ author = {Christine Paulin-Mohring},
+ title = {Inductive Definitions in the System {Coq}: Rules and
+ Properties},
+ crossref = {tlca93},
+ pages = {328-345}}
+
+@Proceedings{tlca93,
+ title = {Typed Lambda Calculi and Applications},
+ booktitle = {Typed Lambda Calculi and Applications},
+ editor = {M. Bezem and J.F. Groote},
+ year = 1993,
+ publisher = {Springer},
+ series = {LNCS 664}}