Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-01 21:58:37 -0700 (Thu, 01 May 2003)
Revision: 4541
Log message:
Moved and renamed:
theories/base/typeinf -> support/tactics/typeinf
theories/base/base_auto_tactic -> support/tactics/auto_tactic
theories/base/base_dtactic -> support/tactics/dtactic
P.S. This is the "tail" of the commit - previous commit failed half-way
through :-( Turns out that if you simultaneously run "cvs commit" and
"cvs update" on a single tree (from different machines over NFS),
they will fight...