diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-03 12:08:04 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-03 12:08:04 +0100 |
commit | c962467b9ab483beb17a4c264ee30242cdbafb7d (patch) | |
tree | 86d5c365b40be72c5a3c3d30a410b99f6115dd02 /driver | |
parent | d186b6345b55ccc4e45457c0c57c24b6306b3195 (diff) | |
download | vericert-c962467b9ab483beb17a4c264ee30242cdbafb7d.tar.gz vericert-c962467b9ab483beb17a4c264ee30242cdbafb7d.zip |
Use ltac:() instead of Program in HTLgen
Program rewrites match statements, making proofs much harder.
Diffstat (limited to 'driver')
0 files changed, 0 insertions, 0 deletions