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},