Diffusion afp-devel d2a0a7ac2b78

fixing some lex problems
d2a0a7ac2b78
Actions

Tags

None

Subscribers

None

Description

fixing some lex problems

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP62b7aa536380: more lex fixes

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPd2a0a7ac2b78: fixing some lex problems.Aug 19 2020, 6:43 PM

Changes (9)

Path

Size

thys/

ADS_Functor/

Generic_ADS_Construction.thy

Collections/

Examples/

ICF/

Exploration.thy

Higher_Order_Terms/

IMP2/

doc/

Simpl/

ex/

Symmetric_Polynomials/

Symmetric_Polynomials.thy

Tree-Automata/

rAFPd2a0a7ac2b78

thys/ADS_Functor/Generic_ADS_Construction.thy

Loading...

thys/Collections/Examples/ICF/Exploration.thy

Loading...

thys/Higher_Order_Terms/Name.thy

Loading...

thys/IMP2/doc/Examples.thy

Loading...

thys/Simpl/Hoare.thy

Loading...

thys/Simpl/UserGuide.thy

Loading...

thys/Simpl/ex/VcgExTotal.thy

Loading...

thys/Symmetric_Polynomials/Symmetric_Polynomials.thy

Loading...

thys/Tree-Automata/AbsAlgo.thy

Loading...