%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@psi.math.utah.edu on Fri Nov 25 16:24:00 MST 2011 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1}~\cite{#2}} \fi \NAMECITE{11th}{% Grundy:1998:TPE% }. \NAMECITE{9th}{% Wright:1996:SPI% }. \NAMECITE{August}{% Wright:1996:TPH% }. \NAMECITE{Browsable}{% Grundy:1996:ABF% }. \NAMECITE{Calculational}{% Grundy:1996:SCA% }. \NAMECITE{Calculator}{% Butler:1997:RCP% }. \NAMECITE{Conference}{% Wright:1996:SPI% }. \NAMECITE{emerging}{% Grundy:1998:TPE% }. \NAMECITE{{EVES}}{% Grundy:1991:RME% }. \NAMECITE{Exchange}{% Grundy:1996:TSE% }. \NAMECITE{Format}{% Grundy:1996:ABF% }. \NAMECITE{Hierarchical}{% Grundy:1996:THR% }. \NAMECITE{Higher}{% Wright:1996:SPI% }. \NAMECITE{{HOL}}{% Grundy:1991:HPL% }. \NAMECITE{Inference}{% Grundy:1991:WIH% }. \NAMECITE{Library}{% Grundy:1991:HPL% }. \NAMECITE{Logic}{% Grundy:1993:TVL% }. \NAMECITE{Logics}{% Wright:1996:SPI% }. \NAMECITE{{m}}{% Grundy:1991:RME% }. \NAMECITE{{m-EVES}}{% Grundy:1991:RME% }. \NAMECITE{Method}{% Grundy:1993:MPR% }. \NAMECITE{October}{% Grundy:1998:TPE% }. \NAMECITE{Order}{% Wright:1996:SPI% }. \NAMECITE{pair}{% Grundy:1991:HPL% }. \NAMECITE{Predicative}{% Grundy:1993:PPS% }. \NAMECITE{Presentation}{% Grundy:1996:ABF% }. \NAMECITE{Proceedings}{% Wright:1996:SPI% }. \NAMECITE{Program}{% Grundy:1993:MPR% }. \NAMECITE{Programming}{% Grundy:1993:PPS% }. \NAMECITE{Proof}{% Grundy:1996:ABF% }. \NAMECITE{Proofs}{% Grundy:1996:TBR% }. \NAMECITE{Proving}{% Wright:1996:SPI% }. \NAMECITE{Reasoning}{% Grundy:1996:THR% }. \NAMECITE{Record}{% Grundy:1996:TBR% }. \NAMECITE{Recording}{% Grundy:1997:RHP% }. \NAMECITE{Refinement}{% Grundy:1992:WIT% }. \NAMECITE{Report}{% Grundy:1991:RME% }. \NAMECITE{September}{% Grundy:1998:TPE% }. \NAMECITE{Storage}{% Grundy:1996:TSE% }. \NAMECITE{Structured}{% Grundy:1996:SCA% }. \NAMECITE{Supplementary}{% Wright:1996:SPI% }. \NAMECITE{Support}{% Butler:1997:RCP% }. \NAMECITE{Survey}{% Grundy:1993:PPS% }. \NAMECITE{System}{% Grundy:1991:WIH% }. \NAMECITE{Theorem}{% Wright:1996:SPI% }. \NAMECITE{Theorems}{% Grundy:1996:TSE% }. \NAMECITE{Three}{% Grundy:1993:TVL% }. \NAMECITE{Three-Valued}{% Grundy:1993:TVL% }. \NAMECITE{Tool}{% Grundy:1992:WIT% }. \NAMECITE{{TPHOL}s'96}{% Wright:1996:SPI% }. \NAMECITE{{TPHOL}s'98}{% Grundy:1998:TPE% }. \NAMECITE{Transformational}{% Grundy:1996:THR% }. \NAMECITE{trends}{% Grundy:1998:TPE% }. \NAMECITE{Trustworthy}{% Grundy:1996:TSE% }. \NAMECITE{Valued}{% Grundy:1993:TVL% }. \NAMECITE{window}{% Grundy:1991:HWL% }.