op && : simpset * thm list -> simpset
STRUCTURE
BasicProvers
SYNOPSIS
Infix operator for adding theorems into a simpset.
DESCRIPTION
BasicProvers.&&
is identical to
bossLib.&&
.
SEEALSO
&&
HOL
Kananaskis-10