Revision - 8cb3e88 - extend conseq rules: equivF => hoareF => hoareF and equivF => [...]

Revision 8cb3e88e94b97a62065382445fa155233935f522 authored by Benjamin Gregoire on 13 November 2020, 11:33:30 UTC, committed by Benjamin Gregoire on 13 November 2020, 11:33:47 UTC

extend conseq rules: equivF => hoareF => hoareF and equivF => phoareF => phoareF

1 parent 4391b04

Files
Changes

Permalinks

File	Mode	Size
keywords	-rwxr-xr-x	4.7 KB
license	-rwxr-xr-x	7.2 KB
strip-comments	-rwxr-xr-x	1.2 KB

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...