class.Q added as introduction rule (abbrev: class
, options: -c
)
equal.class.Q added as equation
class.elim added as elimination rule (abbrev: rec
, options: -i
)
equal.Q added as introduction rule (abbrev: equal
, options: -i
)