Diffusion afp-devel 242c8f6d0ace

more lex fixes, some tricky
242c8f6d0ace
Actions

Tags

None

Subscribers

None

Description

more lex fixes, some tricky

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPd2a0a7ac2b78: fixing some lex problems

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP242c8f6d0ace: more lex fixes, some tricky.Aug 20 2020, 5:30 PM

Changes (6)

Path

Size

thys/

Compiling-Exceptions-Correctly/

Diophantine_Eqns_Lin_Hom/

List_Vector.thy

LTL_to_GBA/

Nested_Multisets_Ordinals/

Nested_Multiset.thy

UTP/

toolkit/

rAFP242c8f6d0ace

thys/Compiling-Exceptions-Correctly/Exceptions.thy

Loading...

thys/Diophantine_Eqns_Lin_Hom/List_Vector.thy

Loading...

thys/LTL_to_GBA/LTL_to_GBA.thy

Loading...

thys/Nested_Multisets_Ordinals/Nested_Multiset.thy

Loading...

thys/UTP/toolkit/List_Extra.thy

Loading...

thys/UTP/toolkit/Sequence.thy

Loading...