marked some CRITICAL sections;
eliminated transform_failure (to avoid critical section for main transactions);
removed unused exceptions MetaSimplifier.SIMPROC_FAIL, Attrib.ATTRIB_FAIL, Method.METHOD_FAIL, Antiquote.ANTIQUOTE_FAIL;
(* ID: $Id$ *)
use_thy "Basic";
use_thy "Blast";
use_thy "Force";
use_thy "Forward";
use_thy "Tacticals";
use_thy "find2";