Diffusion afp-devel fccdd28b5d84

adapted to Isabelle/84a7a0029c82
fccdd28b5d84
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/84a7a0029c82

Details

Provenance

Authored on

Parents

rAFPd34609a6a678: merged

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFPfccdd28b5d84: adapted to Isabelle/84a7a0029c82.May 28 2023, 12:24 AM

Changes (18)

Path

Size

thys/

CakeML_Codegen/

Rewriting/

Rewriting_Nterm.thy

Rewriting_Pterm_Elim.thy

Coinductive_Languages/

Context_Free_Grammar.thy

Extended_Finite_State_Machine_Inference/

code-targets/

Code_Target_FSet.thy

Extended_Finite_State_Machines/

FO_Theory_Rewriting/

Higher_Order_Terms/

Term_to_Nterm.thy

LTL/

Disjunctive_Normal_Form.thy

Monomorphic_Monad/

Monomorphic_Monad.thy

Regular_Tree_Relations/

RR2_Infinite.thy

RRn_Automata.thy

Tree_Automata/

Tree_Automata.thy

Ribbon_Proofs/

More_Finite_Map.thy

Ribbons_Graphical_Soundness.thy

Shadow_DOM/

Shadow_SC_DOM/

rAFPfccdd28b5d84

thys/CakeML_Codegen/Rewriting/Rewriting_Nterm.thy

Loading...

thys/CakeML_Codegen/Rewriting/Rewriting_Pterm_Elim.thy

Loading...

thys/Coinductive_Languages/Context_Free_Grammar.thy

Loading...

thys/Extended_Finite_State_Machine_Inference/Inference.thy

Loading...

thys/Extended_Finite_State_Machine_Inference/code-targets/Code_Target_FSet.thy

Loading...

thys/Extended_Finite_State_Machines/EFSM.thy

Loading...

thys/Extended_Finite_State_Machines/EFSM_LTL.thy

Loading...

thys/FO_Theory_Rewriting/FOL_Extra.thy

Loading...

thys/Higher_Order_Terms/Term_to_Nterm.thy

Loading...

thys/LTL/Disjunctive_Normal_Form.thy

Loading...

thys/Monomorphic_Monad/Monomorphic_Monad.thy

Loading...

thys/Regular_Tree_Relations/RR2_Infinite.thy

Loading...

thys/Regular_Tree_Relations/RRn_Automata.thy

Loading...

thys/Regular_Tree_Relations/Tree_Automata/Tree_Automata.thy

Loading...

thys/Ribbon_Proofs/More_Finite_Map.thy

Loading...

thys/Ribbon_Proofs/Ribbons_Graphical_Soundness.thy

Loading...

thys/Shadow_DOM/Shadow_DOM.thy

Loading...

thys/Shadow_SC_DOM/Shadow_DOM.thy

Loading...