Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-02-01 23:00:41 -0800 (Sun, 01 Feb 2004)
Revision: 5333
Log message:

      thenAT tac does not apply tac to subgoals with empty label anymore.
      

Changes	Path
+4 -4	metaprl/tactics/proof/tacticals_boot.ml