src/HOL/Library/document/root.bib
author wenzelm
Wed Oct 18 23:31:16 2000 +0200 (2000-10-18)
changeset 10253 73b46b18c348
child 10270 6086be03a80b
permissions -rw-r--r--
"The Supplemental Isabelle/HOL Library";
wenzelm@10253
     1
wenzelm@10253
     2
@InProceedings{Slotosch:1997,
wenzelm@10253
     3
  author = 	 {Oscar Slotosch},
wenzelm@10253
     4
  title = 	 {FIXME},
wenzelm@10253
     5
  crossref =     {tphols97}}
wenzelm@10253
     6
wenzelm@10253
     7
@InProceedings{paulin-tlca,
wenzelm@10253
     8
  author	= {Christine Paulin-Mohring},
wenzelm@10253
     9
  title		= {Inductive Definitions in the System {Coq}: Rules and
wenzelm@10253
    10
		 Properties},
wenzelm@10253
    11
  crossref	= {tlca93},
wenzelm@10253
    12
  pages		= {328-345}}
wenzelm@10253
    13
wenzelm@10253
    14
@Proceedings{tlca93,
wenzelm@10253
    15
  title		= {Typed Lambda Calculi and Applications},
wenzelm@10253
    16
  booktitle	= {Typed Lambda Calculi and Applications},
wenzelm@10253
    17
  editor	= {M. Bezem and J.F. Groote},
wenzelm@10253
    18
  year		= 1993,
wenzelm@10253
    19
  publisher	= {Springer},
wenzelm@10253
    20
  series	= {LNCS 664}}
wenzelm@10253
    21
wenzelm@10253
    22
@Proceedings{tphols97,
wenzelm@10253
    23
  title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '97},
wenzelm@10253
    24
  booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '97},
wenzelm@10253
    25
  editor	= {Elsa L. Gunter and Amy Felty},
wenzelm@10253
    26
  series	= {LNCS 1275},
wenzelm@10253
    27
  year		= 1997}