Diffusion afp-devel 589a6dadfa84

another broken proof
589a6dadfa84
Actions

Tags

None

Subscribers

None

Description

another broken proof

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP3b2637ae2d8c: Fixed and simplified some failing proofs

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP589a6dadfa84: another broken proof.Apr 1 2021, 3:11 PM

Changes (1)

Path

Size

thys/

Valuation/

rAFP589a6dadfa84

thys/Valuation/Valuation1.thy

Loading...