diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-18 21:23:04 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-18 21:23:04 +0100 |
commit | 8b619c55c83a9e87c2aa610579b4ab6966b9cf78 (patch) | |
tree | e0712368339adf9b10f6da6136e5f5992cf9857e /.envrc | |
parent | bfba2efd08c07d79fc1e553349b6380323a88a9a (diff) | |
download | vericert-8b619c55c83a9e87c2aa610579b4ab6966b9cf78.tar.gz vericert-8b619c55c83a9e87c2aa610579b4ab6966b9cf78.zip |
Update lemmata broken by changes to semantics
* Removed calls to match_externctrl_tac. Carried forward without need
for the tactic
* Admitted match_frames goals. They should be easy enough to fix
Diffstat (limited to '.envrc')
0 files changed, 0 insertions, 0 deletions