Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-06-20 06:40:29 -0700 (Wed, 20 Jun 2001)
Revision: 3280
Log message:

      Use byDefT in a few places.
      

Changes	Path
+1 -1	metaprl/theories/base/base_dtactic.ml
+4 -4	metaprl/theories/itt/itt_bool.prla
+4 -4	metaprl/theories/itt/itt_fset.prla