diff -r cd89ce2795ab -r 8f2c27041a8e src/HOL/Unix/document/root.bib
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Unix/document/root.bib	Tue Jan 23 18:05:53 2001 +0100
@@ -0,0 +1,67 @@
+
+@Unpublished{Bauer-et-al:2001:HOL-Library,
+  author = 	 {Gertrud Bauer and Tobias Nipkow and Lawrence C Paulson and Markus Wenzel},
+  title = 	 {The Supplemental {Isabelle/HOL} Library},
+  note = 	 {\url{http://isabelle.in.tum.de/library/HOL/Library/document.pdf}},
+  year =	 2001
+}
+
+@PhdThesis{Naraschewski:2001,
+  author = 	 {Wolfgang Naraschewski},
+  title = 	 {Teams as Types --- A Formal Treatment of Authorization in Groupware},
+  school = 	 {TU M\"unchen},
+  year = 	 2001,
+  note =	 "submitted"}
+
+@Manual{Nipkow-et-al:2000:HOL,
+  author        = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
+  title         = {{Isabelle}'s Logics: {HOL}},
+  institution   = {Institut f\"ur Informatik, Technische Universi\"at
+                  M\"unchen and Computer Laboratory, University of Cambridge},
+  year          = 2000,
+  note          = {\url{http://isabelle.in.tum.de/doc/logics-HOL.pdf}}
+}
+
+@Book{Tanenbaum:1992,
+  author =	 {Andrew S. Tanenbaum},
+  title = 	 {Modern Operating Systems},
+  publisher = 	 {Prentice-Hall},
+  year = 	 1992
+}
+
+
+@Misc{Torvalds-et-al:Linux,
+  author =	 {Linus Torvalds and others},
+  title =	 {The {L}inux Kernel Archives},
+  note =	 {\url{http://www.kernel.org}}
+}
+
+
+@Misc{Unix-heritage,
+  key =		 {Unix},
+  title =	 {The {Unix} Heritage Society},
+  note =	 {\url{http://minnie.cs.adfa.edu.au/TUHS/}}
+}
+
+@InProceedings{Wenzel:1999:TPHOL,
+  author =       {Markus Wenzel},
+  title =        {{Isar} --- a Generic Interpretative Approach to Readable Formal Proof Documents},
+  crossref =     {tphols99}}
+
+
+@Manual{Wenzel:2000:isar-ref,
+  author        = {Markus Wenzel},
+  title         = {The {Isabelle/Isar} Reference Manual},
+  year          = 2000,
+  institution   = {TU Munich},
+  note          = {\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}
+}
+
+@Proceedings{tphols99,
+  title         = {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
+  booktitle     = {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
+  editor        = {Bertot, Y. and Dowek, G. and Hirschowitz, A. and
+                  Paulin, C. and Thery, L.},
+  series        = {LNCS},
+  volume        = 1690,
+  year          = 1999}