Diffusion afp-devel f6b91be1ab2d

dropped former legacy input abbreviations
f6b91be1ab2d
Actions

Tags

None

Subscribers

None

Description

dropped former legacy input abbreviations

Details

Provenance

florian.haftmann

Authored on

Parents

rAFPcf0914a2304e: fix for previous commit

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (14)

Path

Size

thys/

Functional_Ordered_Resolution_Prover/

IsaFoR_Term.thy

Graph_Saturation/

CombinedCorrectness.thy

GraphRewriting.thy

HOL-CSP/

KD_Tree/

Kruskal/

UGraph_Impl.thy

LTL_Master_Theorem/

LTL_to_DRA/

DRA_Construction.thy

Polynomials/

Transition_Systems_and_Automata/

Automata/

DBA/

DBA_Combine.thy

DCA/

DCA_Combine.thy

DRA/

DRA_Combine.thy

UTP/

toolkit/

Countable_Set_Extra.thy

utp/

utp_healthy.thy

utp_rel_laws.thy

rAFPf6b91be1ab2d

thys/Functional_Ordered_Resolution_Prover/IsaFoR_Term.thy

Loading...

thys/Graph_Saturation/CombinedCorrectness.thy

Loading...

thys/Graph_Saturation/GraphRewriting.thy

Loading...

thys/HOL-CSP/Process.thy

Loading...

thys/KD_Tree/Balanced.thy

Loading...

thys/Kruskal/UGraph_Impl.thy

Loading...

thys/LTL_Master_Theorem/LTL_to_DRA/DRA_Construction.thy

Loading...

thys/Polynomials/MPoly_PM.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DBA/DBA_Combine.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DCA/DCA_Combine.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DRA/DRA_Combine.thy

Loading...

thys/UTP/toolkit/Countable_Set_Extra.thy

Loading...

thys/UTP/utp/utp_healthy.thy

Loading...

thys/UTP/utp/utp_rel_laws.thy

Loading...