Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
empty_ss : simpset

SYNOPSIS
Simpset consisting of only the default rewrites and conversions.

DESCRIPTION
In their maximal generality, simplification operations in HOL Light (as invoked by SIMP_TAC) are controlled by a `simpset'. The simpset empty_ss has just the basic rewrites and conversions (see basic_rewrites and basic_convs), and no other provers.

FAILURE CONDITIONS
Not applicable.

SEE ALSO
basic_convs, basic_rewrites, basic_ss, SIMP_CONV, SIMP_RULE, SIMP_TAC.