BUGS

1. The thm_rw syntax is broken, consider either drop Derived or make derived_rule consistent with deried_rewrite. The thm was changed in https://github.com/LdBeth/metaprl/commit/c5260cdd9b36a2d444e51235914afd97ebf939fe which seems used a hack to support it.