HomeIsabelle/Phabricator
Diffusion afp-devel 02b14c9bf3da

fixed a mistake in MFODL_Monitor_Optimized
02b14c9bf3da
Actions

Description

fixed a mistake in MFODL_Monitor_Optimized

Details

Provenance
Joshua Schneider <joshua.schneider@inf.ethz.ch>Authored on
Parents
rAFP31038ef0e4aa: modifications in Jinja and DOminance_CHK
Branches
Unknown
Tags
Unknown

Event Timeline

Joshua Schneider <joshua.schneider@inf.ethz.ch> committed rAFP02b14c9bf3da: fixed a mistake in MFODL_Monitor_Optimized.Oct 19 2021, 5:07 PM

Changes (1)

PathSize
thys/
MFODL_Monitor_Optimized/

rAFP02b14c9bf3da

View Options

thys/MFODL_Monitor_Optimized/Formula.thy

Loading...