Diffusion Isabelle 6f20a44c3cb1

two more lex fixes
6f20a44c3cb1
Actions

Tags

None

Subscribers

None

Description

two more lex fixes

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE7075fe8ffd76: more lex fixes

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE6f20a44c3cb1: two more lex fixes.Aug 20 2020, 11:39 AM

Changes (2)

Path

Size

src/

Doc/

Codegen/

Inductive_Predicate.thy

HOL/

MicroJava/

DFA/

rISABELLE6f20a44c3cb1

src/Doc/Codegen/Inductive_Predicate.thy

Loading...

src/HOL/MicroJava/DFA/Kildall.thy

Loading...