diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-02 12:51:12 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-02 12:51:12 +0100 |
commit | d186b6345b55ccc4e45457c0c57c24b6306b3195 (patch) | |
tree | 8476f58217d2165d00582dfc4c8f9b2d7b28d5f3 /Makefile | |
parent | d6f2303568dd45b5c684612482485b4a46da1d88 (diff) | |
download | vericert-d186b6345b55ccc4e45457c0c57c24b6306b3195.tar.gz vericert-d186b6345b55ccc4e45457c0c57c24b6306b3195.zip |
Use Defined for obligations in Program Definitions
The created terms might need to be inspected.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions