838322ad · remove some long-dead files

9afe85b3 · Better definition of step modality

32cc4434 · Removed view shifts from step mod, improved proofmode, and cleanup

7a83b45d · Made instances global and proved a weakening rule

1cc547f4 · WIP: Proofmode support

6d062e91 · Removed `\nequivB` and fixed an incorrect alias

8efc3267 · Derived [fupd_soundness_no_lc] from [fupd_soundness_no_lc_unfold]

dcb43702 · Attempt at silencing [unexpected-implicit-declaration] warning

25a6e871 · Fixed bad merge

f122ae5f · Readded unintentionally removed existing lemmas

e1aa9b82 · Merge branch 'gitignore-opam' into 'master'

76b0c63c · Readded unintentionally removed existing lemmas

b5660a07 · Removed unused import

13994ec7 · Replaced [fupd_to_bupd] and derived lemmas with unfolding lemma

8d2b0ef9 · Added deprecated macro section and removed \pointsto

a2ef967c · Generalised the step update modality to work for all program logics

ee6958e5 · WIP: Step Update modality demonstration

cc31e712 ·