renamed Method.assumption_tac back to Method.assm_tac -- as assumption_tac it would have to be exactly the tactic behind the assumption method (with facts);
use "../settings.ML";
use_thy "Even";
use_thy "Mutual";
use_thy "Star";
use_thy "AB";
use_thy "Advanced";