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