op ++ : simpset * ssfrag -> simpset
STRUCTURE
SYNOPSIS
Infix operator for adding an ssfrag item into a simpset.
DESCRIPTION
bossLib.++ is identical to simpLib.++.
SEEALSO
HOL  Kananaskis-13