diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-10 17:27:41 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-10 17:27:41 +0100 |
commit | 2e7495d70532b009133101cc3f22805843b4d4d4 (patch) | |
tree | d1ed64e446cbecc4bbb7d211d31684e415240944 /default.nix | |
parent | 8503a79715fb2d3766bc2cd6e102481f9fec61cd (diff) | |
download | vericert-2e7495d70532b009133101cc3f22805843b4d4d4.tar.gz vericert-2e7495d70532b009133101cc3f22805843b4d4d4.zip |
Delete inv_incr tactic (unused)
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions