1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc/GK/bib-GK.bib	Tue Apr 10 17:53:11 2007 +0200
     1.3 @@ -0,0 +1,33 @@
     1.4 +@article{thiery92,
     1.5 + author = {Laurent Th\&\#233;ry and Yves Bertot and Gilles Kahn},
     1.6 + title = {Real theorem provers deserve real user-interfaces},
     1.7 + journal = {SIGSOFT Softw. Eng. Notes},
     1.8 + volume = {17},
     1.9 + number = {5},
    1.10 + year = {1992},
    1.11 + issn = {0163-5948},
    1.12 + pages = {120--129},
    1.13 + doi = {http://doi.acm.org/10.1145/142882.143760},
    1.14 + publisher = {ACM Press},
    1.15 + address = {New York, NY, USA},
    1.16 + }
    1.17 +
    1.18 +@InProceedings{aspinall:proof-gen,
    1.19 +  author = 	 {Aspinall, David },
    1.20 +  title = 	 {Proof General: A Generic Tool for Proof Development},
    1.21 +  booktitle = 	 {Tools and Algorithms for the Construction and Analysis of Systems},
    1.22 +  number = 	 {1785},
    1.23 +  series = 	 {LNCS},
    1.24 +  year = 	 {2000},
    1.25 +  organization = {TACAS},
    1.26 +  pnote={},status={cite diss},
    1.27 +  source={http://zermelo.dcs.ed.ac.uk/~proofgen/index.phtml?page=doc},
    1.28 +  location={}  
    1.29 +}
    1.30 +@Book{Nipkow-Paulson-Wenzel:2002,
    1.31 +  author	= {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
    1.32 +  title		= {Isabelle/HOL --- A Proof Assistant for Higher-Order Logic},
    1.33 +  publisher	= {Springer},
    1.34 +  series	= {LNCS},
    1.35 +  volume	= 2283,
    1.36 +  year		= 2002}