/[mojave]/metaprl/doc/latex/theories/all-theories.tex
ViewVC logotype

Diff of /metaprl/doc/latex/theories/all-theories.tex

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3590 by nogin, Tue Sep 19 22:18:30 2000 UTC revision 3591 by nogin, Sun Apr 28 19:51:58 2002 UTC
# Line 33  Line 33 
33  \begin{document}  \begin{document}
34    
35  \sloppy  \sloppy
36  \input{base/theory-body.tex}  \input{all-bodies.tex}
 \input{fol/theory-body.tex}  
 \input{itt/theory-body.tex}  
 \input{czf/theory-body.tex}  
   
37    
38  \printindex  \printindex
39    

Legend:
Removed from v.3590  
changed lines
  Added in v.3591

  ViewVC Help
Powered by ViewVC 1.1.26