Skip to content

Remove dead type classes and notations.

Robbert Krebbers requested to merge robbert/cleanup into master

These were very specific, there were no lemmas about them. They were used back in the days for some specific things in my C semantics.

Thanks to @Blaisorblade for pointing out.

Merge request reports