diff options
| author | Ramana Kumar | 2018-05-31 13:34:50 +0100 |
|---|---|---|
| committer | Ramana Kumar | 2018-05-31 13:35:44 +0100 |
| commit | f1c72a51149e302422738bf7c543f9a1ab45b38b (patch) | |
| tree | a1004adf2e3d171fa3bc67ca9f995db96bb618f1 /lib/main.ml | |
| parent | 9d9e60cd633b8ab13a4fd721d2a242fe57caf014 (diff) | |
Add some HOL4 termination proofs for state.lem
Diffstat (limited to 'lib/main.ml')
0 files changed, 0 insertions, 0 deletions