Remove redundant uses of prove_case_eq_thm #1230

Open

Labels

opened

Most of it can be done by using TypeBase.case_eq_of or using the sml bindings.

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests