File Command.ML

Addsimps [substp_land,substp_lor,substp_implies,substp_equiv,substp_equal,substp_nat];