&&

op BasicProvers.&& : simpset * thm list -> simpset

Re-exported from bossLib.&&. See that entry for full documentation.