Diffusion afp-devel f8f24482ab45

dedicated locale for preorder and abstract bdd operation
f8f24482ab45
Actions

Tags

None

Subscribers

None

Description

dedicated locale for preorder and abstract bdd operation

Details

Provenance

florian.haftmann

Authored on

Parents

rAFP908f7c03d556: get rid of traditional predicate

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFPf8f24482ab45: dedicated locale for preorder and abstract bdd operation.Feb 22 2021, 8:49 AM

Changes (9)

Path

Size

thys/

Algebraic_VCs/

AVC_KAD/

VC_KAD_scratch.thy

AVC_KAT/

VC_KAT_scratch.thy

Auto2_HOL/

HOL/

Buildings/

DynamicArchitectures/

Configuration_Traces.thy

Floyd_Warshall/

Floyd_Warshall.thy

IP_Addresses/

NumberWang_IPv6.thy

Nominal2/

Nominal2_Base.thy

Winding_Number_Eval/

Missing_Transcendental.thy

rAFPf8f24482ab45

thys/Algebraic_VCs/AVC_KAD/VC_KAD_scratch.thy

Loading...

thys/Algebraic_VCs/AVC_KAT/VC_KAT_scratch.thy

Loading...

thys/Auto2_HOL/HOL/Order_Thms.thy

Loading...

thys/Buildings/Prelim.thy

Loading...

thys/DynamicArchitectures/Configuration_Traces.thy

Loading...

thys/Floyd_Warshall/Floyd_Warshall.thy

Loading...

thys/IP_Addresses/NumberWang_IPv6.thy

Loading...

thys/Nominal2/Nominal2_Base.thy

Loading...

thys/Winding_Number_Eval/Missing_Transcendental.thy

Loading...