Skip to content
LdBeth edited this page Feb 10, 2021 · 2 revisions
  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.

Clone this wiki locally