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