proper naming of simprocs according to actual target context;
afford pervasive declaration which makes results available with qualified name from outside;
use_thy "Basic";
use_thy "Blast";
use_thy "Force";
use_thy "Forward";
use_thy "Tacticals";
use_thy "find2";