-
Robbert Krebbers authored
- Better representation of symbolic integers - Better representation of symbolic locations - Support while in the vcg - Support alloc in the vcg - A better reification mechanism - Better proofmode support for mapsto with lists - Normalize fractions - Restructure lots of proofs - ...
e05af4c4