Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-05-23 19:51:06 -0700 (Thu, 23 May 2002)
Revision: 3689
Log message:

      Added to theories.pdf:
      - A title: "A Listing of MetaPRL Theories"
      - A list of authors:
      "Jason J. Hickey and Brian Aydemir and Yegor Bryukhov and Alexei Kopylov and Aleksey Nogin and Xin Yu"
      - A 4-line introduction explaining what this is.
      
      I want this to look reasonable enough to cite in a paper. BTW, it can now be addressed simple
      as http://metaprl.org/theories.pdf
      
      Any improvement suggestions?
      

Changes	Path
+1 -1	metaprl/doc/htmlman/mp.html
+10 -0	metaprl/doc/latex/theories/all-theories.tex
+7 -0	texinputs/metaprl.bib