Changes by: ( at unknown.email)
Date: 2001-09-21 07:22:55 -0700 (Fri, 21 Sep 2001)
Revision: 3397
Log message:

      This commit was manufactured by cvs2svn to create tag
      'before_ocaml_3_02'.

Changes	Path
Copied	metaprl-tags/before_ocaml_3_02
Deleted	metaprl-tags/before_ocaml_3_02/theories/itt/itt_decidable.prlb
Copied	texinputs-tags/before_ocaml_3_02
Deleted	texinputs-tags/before_ocaml_3_02/Makefile-common
Deleted	texinputs-tags/before_ocaml_3_02/bcp.bib
Deleted	texinputs-tags/before_ocaml_3_02/citlogo.eps
Deleted	texinputs-tags/before_ocaml_3_02/cornell-logo.eps
Deleted	texinputs-tags/before_ocaml_3_02/dag50.eps
Deleted	texinputs-tags/before_ocaml_3_02/der.tex
Deleted	texinputs-tags/before_ocaml_3_02/include.tex
Deleted	texinputs-tags/before_ocaml_3_02/llncs.cls
Deleted	texinputs-tags/before_ocaml_3_02/omscmsy.fd
Deleted	texinputs-tags/before_ocaml_3_02/ot1cmr.fd
Deleted	texinputs-tags/before_ocaml_3_02/ot1lcmss.fd
Deleted	texinputs-tags/before_ocaml_3_02/ot1lcmtt.fd
Deleted	texinputs-tags/before_ocaml_3_02/rc.bib
Deleted	texinputs-tags/before_ocaml_3_02/slides-nogin.cls
Deleted	texinputs-tags/before_ocaml_3_02/umsa.fd
Deleted	texinputs-tags/before_ocaml_3_02/umsb.fd