Diffusion afp-devel 235abc5dda6c

tiny simplifications
235abc5dda6c
Actions

Tags

None

Subscribers

None

Description

tiny simplifications

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPcc1da1318e1d: tidied another file

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP235abc5dda6c: tiny simplifications.Mar 12 2023, 5:37 PM

Changes (2)

Path

Size

thys/

HereditarilyFinite/

Finite_Automata.thy

rAFP235abc5dda6c

thys/HereditarilyFinite/Finite_Automata.thy

Loading...

thys/HereditarilyFinite/OrdArith.thy

Loading...