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 /Makefile | |
| 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 'Makefile')
0 files changed, 0 insertions, 0 deletions