-
Robbert Krebbers authored
This also removes the double use of the name 'wp_fork' in both program_logic/weakestpre and heap_lang/lifting.
a3ef214f
This also removes the double use of the name 'wp_fork' in both program_logic/weakestpre and heap_lang/lifting.