Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-05-18 10:00:41 -0700 (Sat, 18 May 2002)
Revision: 3672
Log message:

      Docs: Fixed most undefined references.
      

Changes	Path
+1 -0	metaprl/doc/latex/theories/Makefile
+1 -1	metaprl/theories/base/base_auto_tactic.ml
+1 -1	metaprl/theories/base/base_dtactic.ml
+2 -2	metaprl/theories/base/base_theory.mlz
+1 -1	metaprl/theories/czf/czf_itt_set.ml
+1 -1	metaprl/theories/czf/czf_itt_theory.mlz
+2 -2	metaprl/theories/itt/itt_disect.ml
+1 -1	metaprl/theories/itt/itt_rfun.ml
+3 -3	metaprl/theories/itt/itt_squash.ml
+1 -1	metaprl/theories/itt/itt_subtype.ml
+1 -1	metaprl/theories/itt/itt_unit.ml
+2 -2	metaprl/theories/itt/itt_void.ml
+3 -3	metaprl/theories/tactic/top_conversionals.ml
+1 -8	texinputs/metaprl.bib