diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2020-11-20 16:40:08 +0000 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2020-11-20 19:21:43 +0000 |
commit | 9b87637d3e4d6a75dee1221b017e3ccf6632642e (patch) | |
tree | a4c1ea2cb059d8d3ccb4c384c64e9633b76dad6e /src/translation | |
parent | d79dae026b150e9671e0aa7262f6aa2d1d302502 (diff) | |
download | vericert-9b87637d3e4d6a75dee1221b017e3ccf6632642e.tar.gz vericert-9b87637d3e4d6a75dee1221b017e3ccf6632642e.zip |
Print instantiations in HTL output
Diffstat (limited to 'src/translation')
0 files changed, 0 insertions, 0 deletions