src/HOL/Library/document/root.bib
changeset 10253 73b46b18c348
child 10270 6086be03a80b
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/HOL/Library/document/root.bib	Wed Oct 18 23:31:16 2000 +0200
     1.3 @@ -0,0 +1,27 @@
     1.4 +
     1.5 +@InProceedings{Slotosch:1997,
     1.6 +  author = 	 {Oscar Slotosch},
     1.7 +  title = 	 {FIXME},
     1.8 +  crossref =     {tphols97}}
     1.9 +
    1.10 +@InProceedings{paulin-tlca,
    1.11 +  author	= {Christine Paulin-Mohring},
    1.12 +  title		= {Inductive Definitions in the System {Coq}: Rules and
    1.13 +		 Properties},
    1.14 +  crossref	= {tlca93},
    1.15 +  pages		= {328-345}}
    1.16 +
    1.17 +@Proceedings{tlca93,
    1.18 +  title		= {Typed Lambda Calculi and Applications},
    1.19 +  booktitle	= {Typed Lambda Calculi and Applications},
    1.20 +  editor	= {M. Bezem and J.F. Groote},
    1.21 +  year		= 1993,
    1.22 +  publisher	= {Springer},
    1.23 +  series	= {LNCS 664}}
    1.24 +
    1.25 +@Proceedings{tphols97,
    1.26 +  title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '97},
    1.27 +  booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '97},
    1.28 +  editor	= {Elsa L. Gunter and Amy Felty},
    1.29 +  series	= {LNCS 1275},
    1.30 +  year		= 1997}