Diffusion afp-devel d4c56b2760cf

reversing all the lex crap
d4c56b2760cf
Actions

Tags

None

Subscribers

None

Description

reversing all the lex crap

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPc47e491d6c30: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPd4c56b2760cf: reversing all the lex crap.Aug 21 2020, 3:41 PM

Changes (15)

Path

Size

thys/

ADS_Functor/

Generic_ADS_Construction.thy

CAVA_Automata/

CAVA_Base/

Lexord_List.thy

CYK/

Coinductive/

Coinductive_List.thy

Compiling-Exceptions-Correctly/

Containers/

List_Proper_Interval.thy

Higher_Order_Terms/

IMP2/

doc/

Jinja/

DFA/

LTL_to_GBA/

Nested_Multisets_Ordinals/

Nested_Multiset.thy

Simpl/

UTP/

toolkit/

ZFC_in_HOL/

rAFPd4c56b2760cf

thys/ADS_Functor/Generic_ADS_Construction.thy

Loading...

thys/CAVA_Automata/CAVA_Base/Lexord_List.thy

Loading...

thys/CYK/CYK.thy

Loading...

thys/Coinductive/Coinductive_List.thy

Loading...

thys/Compiling-Exceptions-Correctly/Exceptions.thy

Loading...

thys/Containers/List_Proper_Interval.thy

Loading...

thys/Higher_Order_Terms/Name.thy

Loading...

thys/IMP2/doc/Examples.thy

Loading...

thys/Jinja/DFA/Kildall.thy

Loading...

thys/LTL_to_GBA/LTL_to_GBA.thy

Loading...

thys/Nested_Multisets_Ordinals/Nested_Multiset.thy

Loading...

thys/Simpl/Hoare.thy

Loading...

thys/UTP/toolkit/List_Extra.thy

Loading...

thys/UTP/toolkit/Sequence.thy

Loading...

thys/ZFC_in_HOL/Kirby.thy

Loading...