Skip to content

Make Thm.SPEC use lazy_beta_conv instead of beta_conv#1301

Open
someplaceguy wants to merge 1 commit intoHOL-Theorem-Prover:developfrom someplaceguy:u/spec-fix
+1-1

Commits

Commits on Sep 13, 2024