hol90 << EOF
use "extents.sml";
use "sets.sml";
use "extract.sml";
use "struct.sml";
use "name.sml";
use "thmkind.sml";
use "matching.sml";
use "sidecond.sml";
use "search.sml";
use "user.sml";

full_search ((conc (--`any:bool`--)) Where ((--`any:bool`--) contains (--`T`--))) (Paths [(Theory "bool")]);

EOF

