@string{CUCL="Comp. Lab., Univ. Camb."}
@string{CUP="Cambridge University Press"}
@string{Springer="Springer-Verlag"}
@string{TUM="TU Munich"}

@article{church40,
  author = "Alonzo Church",
  title  = "A Formulation of the Simple Theory of Types",
  journal = "Journal of Symbolic Logic",
  year  = 1940,
  volume = 5,
  pages  = "56-68"}

@Book{@string{CUP"Cambridge University Press"}
  author =   {R. L. Graham and D. E@tring{Springer="pringer-}
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
     56-68"
  ear= java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15
}

@InProceedings{Naraschewski-Wenzel:1998:HOOL,
  author   {Mathematicsjava.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 35
  java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
                 Hi{}{ogic
      {}-}rderLogic}java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44

  = {,
  author =   {Tobias Nipkow},
    title    almost :Towards  Textbook
journal= FormalAspects }
  year =    = 1998,
  volume =  10,
pages= 171-186}
}

@InProceedings{Wenzel:1999:TPHOL,
  author =   {java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 1
  = {sar -   toReadableProof}
  crossref =     {  crossref =     {tphols99W:993,

@Book= { SemanticsProgramming}java.lang.StringIndexOutOfBoundsException: Index 60 out of bounds for length 60
  y   1993
@{aveypriestley,
  publisher =   {MIT Press},
  year =   1993
}

@Book{davey-  author = {. A Davey and. A.Priestley},
  author = {B. A. Davey and H. A. Priestley},
  title  =   =CUP,
  publisher = CUP,
  year  = 1990  year =1990

T1985java.lang.StringIndexOutOfBoundsException: Range [28, 29) out of bounds for length 28
  author   Ujava.lang.StringIndexOutOfBoundsException: Range [29, 28) out of bounds for length 63
  title =        
   =  U CambridgeComputer Laboratory}java.lang.StringIndexOutOfBoundsException: Index 63 out of bounds for length 63
  =        1985,
  number =       68
}

@institution=Institutf" Informatik,  Universi\"at
  author =                  \and java.lang.StringIndexOutOfBoundsException: Range [64, 63) out of bounds for length 78
title  {Isabelle' Logics:{HOL},
  institution = {Institut f\"ur Informatik, Technische Universi\"at
     M\"nchenand ComputerLaboratory   Cambridge}

@{-sar-,
     java.lang.StringIndexOutOfBoundsException: Range [26, 25) out of bounds for length 27
  title  = {Introduction to {Isabelle}},
  institution = CUCL}

@manual{isabelle-isar-   = TUM}
  author = {Markus Wenzel},
  title  = {java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
 ,

@manual{isabelle-ref,
  author = {Lawrence C. java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 21
Isabelle Reference Manual,
  institution = CUCL}

@Book{paulson-isa-book,
author  Lawrence C.Paulson,
  title  = {Isabelle: A Generic Theorem Prover},
  publisher = {Springer},
  year  = 1994,   ={:AGeneric Theorem },
   ={ 828}}

@TechReport{paulson-mutilated-board,
  author  ear =1994java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15
 =  {A   and   the MutilatedChessBoard},
institution   ,
  year =   1996,
  number =  394,
 ={\rl://..camacukuserslcp/Reports.}}
}

@institution=CUCL,
year = 1996,
  number  394,
  editor  {  andMalcom Neweyjava.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 41
s =L}java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18
  volume         ,
  year  = 1998}

@Proceedings{tphols99,
  title  = {Theorem Provingseries={}
   = {Theorem inOrder:{}'9,
  editor = {Bertot, Y. and Dowek, G. and Hirschowitz, A. and  }
                  java.lang.StringIndexOutOfBoundsException: Range [0, 24) out of bounds for length 0
  series = {  booktitle =  {heoremProvinginHigherLogics TPHOLs99java.lang.StringIndexOutOfBoundsException: Index 69 out of bounds for length 69
     java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15