Diffusion afp-devel 3149eae9c077

the last "simp/auto" problems
3149eae9c077
Actions

Tags

None

Subscribers

None

Description

the last "simp/auto" problems

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP58359778acff: corrected all "bysimp"

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP3149eae9c077: the last "simp/auto" problems.May 17 2022, 5:03 PM

Changes (6)

Path

Size

thys/

Complx/

ex/

IP_Addresses/

WordInterval.thy

Iptables_Semantics/

Primitive_Matchers/

IpAddresses.thy

List_Update/

Prob_Theory.thy

rAFP3149eae9c077

thys/Complx/ex/Examples.thy

Loading...

thys/IP_Addresses/WordInterval.thy

Loading...

thys/Iptables_Semantics/Primitive_Matchers/IpAddresses.thy

Loading...

thys/List_Update/BIT.thy

Loading...

thys/List_Update/Prob_Theory.thy

Loading...

thys/List_Update/TS.thy

Loading...