-
Robbert Krebbers authored
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.
6b86eaa5
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.