1.1 --- a/doc-src/Logics/logics.tex	Tue May 03 10:40:24 1994 +0200
     1.2 +++ b/doc-src/Logics/logics.tex	Tue May 03 10:52:32 1994 +0200
     1.3 @@ -2,9 +2,9 @@
     1.4  %% $Id$
     1.5  %%%STILL NEEDS MODAL, LCF
     1.6  %%%\includeonly{ZF}
     1.7 -%%% to index derived rls:  ^\([a-zA-Z0-9][a-zA-Z0-9_]*\)        \\idx{\1}  
     1.8 -%%% to index rulenames:   ^ *(\([a-zA-Z0-9][a-zA-Z0-9_]*\),     \\idx{\1}  
     1.9 -%%% to index constants:   \\tt \([a-zA-Z0-9][a-zA-Z0-9_]*\)     \\idx{\1}  
    1.10 +%%% to index derived rls:  ^\([a-zA-Z0-9][a-zA-Z0-9_]*\)        \\tdx{\1}  
    1.11 +%%% to index rulenames:   ^ *(\([a-zA-Z0-9][a-zA-Z0-9_]*\),     \\tdx{\1}  
    1.12 +%%% to index constants:   \\tt \([a-zA-Z0-9][a-zA-Z0-9_]*\)     \\cdx{\1}  
    1.13  %%% to deverbify:         \\verb|\([^|]*\)|     \\ttindex{\1}  
    1.14  %% run    ../sedindex logics    to prepare index file
    1.15  \title{Isabelle's Object-Logics}
    1.16 @@ -16,7 +16,7 @@
    1.17      Martin Coen made many contributions to~\ZF{}.  Martin Coen
    1.18      developed~\Modal{} with assistance from Rajeev Gor\'e.  The research
    1.19      has been funded by the SERC (grants GR/G53279, GR/H40570) and by ESPRIT
    1.20 -    project 6453: Types}.\\ 
    1.21 +    project 6453: Types.}\\ 
    1.22    Computer Laboratory \\ 
    1.23    University of Cambridge \\[2ex] 
    1.24    {\small{\em Electronic mail\/}: {\tt lcp@cl.cam.ac.uk}} \\[3cm]
    1.25 @@ -26,13 +26,10 @@
    1.26  
    1.27  \newcommand\subcaption[1]{\par {\centering\normalsize\sc#1\par}\bigskip
    1.28    \hrule\bigskip}
    1.29 +\newenvironment{constants}{\begin{center}\small\begin{tabular}{rrrr}}{\end{tabular}\end{center}}
    1.30  
    1.31  \makeindex
    1.32  
    1.33 -%For indexing names in ttbox; could be local to Chapters, making a subitem...
    1.34 -\let\idx=\ttindexbold
    1.35 -%%%%\newcommand\idx[1]{\indexbold{*#1}#1}
    1.36 -
    1.37  %%\newenvironment{example}{\begin{Example}\rm}{\end{Example}}
    1.38  %%\newtheorem{Example}{Example}[chapter]
    1.39  
    1.40 @@ -57,6 +54,6 @@
    1.41  %%\include{Cube}
    1.42  %%\include{LCF}
    1.43  \bibliographystyle{plain}
    1.44 -\bibliography{atp,theory,funprog,logicprog,isabelle}
    1.45 +\bibliography{string,atp,theory,funprog,logicprog,isabelle}
    1.46  \input{logics.ind}
    1.47  \end{document}