diff -r d45fae3237f1 -r 042b19985ea0 doc-src/isac/CTP-userinterfaces.bib
--- a/doc-src/isac/CTP-userinterfaces.bib	Thu Jan 06 09:02:02 2011 +0100
+++ b/doc-src/isac/CTP-userinterfaces.bib	Mon Jan 10 10:15:44 2011 +0100
@@ -1,3 +1,11 @@
+@book{Paulson:Isa94,
+        title={Isabelle: a generic theorem prover}, 
+        author={Paulson, Lawrence C. }, publisher={Springer-Verlag},year={1994}, 
+	volume={828},series={Lecture Notes in Computer Science},address={},edition={},month={}, 
+	note={With contributions by Topias Nipkow},
+        status={},source={},location={-} 
+        }  
+
 @Book{pl:milner97,
   author = 	 {Robin Milner and Mads Tofte and Robert Harper and David MacQueen},
   title = 	 {The Definition of Standard ML (Revised)},