Diffusion afp-devel fcf802f31002

some lex fixes
fcf802f31002
Actions

Tags

None

Subscribers

None

Description

some lex fixes

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP05908e2bd514: fixes for new-style definition of lexicographic ordering

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPfcf802f31002: some lex fixes.Aug 18 2020, 11:01 PM

Changes (3)

Path

Size

thys/

CAVA_Automata/

CAVA_Base/

Lexord_List.thy

CYK/

Universal_Turing_Machine/

rAFPfcf802f31002

thys/CAVA_Automata/CAVA_Base/Lexord_List.thy

Loading...

thys/CYK/CYK.thy

Loading...

thys/Universal_Turing_Machine/Abacus.thy

Loading...