Aspinall:2000:eProof;
authorwenzelm
Mon Aug 14 18:42:57 2000 +0200 (2000-08-14)
changeset 959948d438b316c9
parent 9598 65ee72db0236
child 9600 a585662e6490
Aspinall:2000:eProof;
Muzalewski:Mizar;
Wiedijk:1999:Mizar;
Wiedijk:2000:MV;
doc-src/manual.bib
     1.1 --- a/doc-src/manual.bib	Mon Aug 14 18:14:54 2000 +0200
     1.2 +++ b/doc-src/manual.bib	Mon Aug 14 18:42:57 2000 +0200
     1.3 @@ -80,6 +80,14 @@
     1.4    series	= "Computer Science and Applied Mathematics",
     1.5    year		= 1986}
     1.6  
     1.7 +@InProceedings{Aspinall:2000:eProof,
     1.8 +  author = 	 {David Aspinall},
     1.9 +  title = 	 {Protocols for Interactive {e-Proof}},
    1.10 +  booktitle = 	 {Theorem Proving in Higher Order Logics (TPHOLs)},
    1.11 +  year =	 2000,
    1.12 +  note =	 {Unpublished work-in-progress paper,
    1.13 +                  \url{http://zermelo.dcs.ed.ac.uk/~da/drafts/eproof.ps.gz}}
    1.14 +}
    1.15  @InProceedings{Aspinall:TACAS:2000,
    1.16    author = 	 {David Aspinall},
    1.17    title = 	 {Proof General: A Generic Tool for Proof Development},
    1.18 @@ -114,9 +122,10 @@
    1.19    title = 	 {Computer-Assisted Mathematics at Work --- The {H}ahn-{B}anach Theorem in
    1.20        {I}sabelle/{I}sar},
    1.21    booktitle = 	 {Types for Proofs and Programs: TYPES'99},
    1.22 +  editor =       {Thierry Coquand and Peter Dybjer and Bengt Nordstr{\"o}m
    1.23 +                  and Jan Smith},
    1.24    series =	 {LNCS},
    1.25 -  year =	 2000,
    1.26 -  note =	 {To appear}
    1.27 +  year =	 2000
    1.28  }
    1.29  
    1.30  @InProceedings{Berghofer-Wenzel:1999:TPHOL,
    1.31 @@ -508,6 +517,15 @@
    1.32  {Olaf M\"uller and Tobias Nipkow and Oheimb, David von and Oscar Slotosch},
    1.33  title={{HOLCF = HOL + LCF}},journal=JFP,year=1999}
    1.34  
    1.35 +@Manual{Muzalewski:Mizar,
    1.36 +  title = 	 {An Outline of {PC} {Mizar}},
    1.37 +  author =	 {Micha{\l} Muzalewski},
    1.38 +  organization = {Fondation of Logic, Mathematics and Informatics
    1.39 +                  --- Mizar Users Group},
    1.40 +  year =	 1993,
    1.41 +  note =	 {\url{http://www.cs.kun.nl/~freek/mizar/mizarmanual.ps.gz}}
    1.42 +}
    1.43 +
    1.44  %N
    1.45  
    1.46  @InProceedings{NaraschewskiW-TPHOLs98,
    1.47 @@ -1004,6 +1022,22 @@
    1.48    note		= {Paperback edition to *56,
    1.49    abridged from the 2nd edition (1927)}}
    1.50  
    1.51 +@Misc{Wiedijk:1999:Mizar,
    1.52 +  author =	 {Freek Wiedijk},
    1.53 +  title =	 {Mizar: An Impression},
    1.54 +  howpublished = {Unpublished paper},
    1.55 +  year =         1999,
    1.56 +  note =	 {\url{http://www.cs.kun.nl/~freek/mizar/mizarintro.ps.gz}}
    1.57 +}
    1.58 +
    1.59 +@Misc{Wiedijk:2000:MV,
    1.60 +  author =	 {Freek Wiedijk},
    1.61 +  title =	 {The Mathematical Vernacular},
    1.62 +  howpublished = {Unpublished paper},
    1.63 +  year =         2000,
    1.64 +  note =	 {\url{http://www.cs.kun.nl/~freek/notes/mv.ps.gz}}
    1.65 +}
    1.66 +
    1.67  @book{winskel93,
    1.68    author	= {Glynn Winskel},
    1.69    title		= {The Formal Semantics of Programming Languages},