-
Joseph Tassarotti authored
Modify adequacy proof to not break the 'fancy update' abstraction. Modify fupd plainly interface and add new derived results.
7c32c1ac
Modify adequacy proof to not break the 'fancy update' abstraction. Modify fupd plainly interface and add new derived results.