Diffusion afp-devel 853bc2883e56

New entry: FO_Theory_Rewriting
853bc2883e56
Actions

Tags

None

Subscribers

None

Description

New entry: FO_Theory_Rewriting

Details

Provenance

Authored on

Parents

rAFPebe485ce088a: New AFP entry: Equivalence_Relation_Enumeration

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP853bc2883e56: New entry: FO_Theory_Rewriting.Feb 10 2022, 6:05 PM

Changes (42)

Path

Size

metadata/

FO_Theory_Rewriting

Context_Extensions.thy

Context_RR2.thy

Lift_Root_Step.thy

TA_Clousure_Const.thy

FOR_Certificate.thy

FOR_Check_Impl.thy

FOR_Semantics.thy

Type_Instances_Impl.thy

Ground_MCtxt.thy

Multihole_Context.thy

Tree_Automata_Derivation_Split.thy

FOL-Fitting.html

FO_Theory_Rewriting.html

Regular_Tree_Relations.html

statistics.html

rAFP853bc2883e56

metadata/metadata

Loading...

thys/FO_Theory_Rewriting/Closure/Context_Extensions.thy

Loading...

thys/FO_Theory_Rewriting/Closure/Context_RR2.thy

Loading...

thys/FO_Theory_Rewriting/Closure/GTT_RRn.thy

Loading...

thys/FO_Theory_Rewriting/Closure/Lift_Root_Step.thy

Loading...

thys/FO_Theory_Rewriting/Closure/TA_Clousure_Const.thy

Loading...

thys/FO_Theory_Rewriting/FOL_Extra.thy

Loading...

thys/FO_Theory_Rewriting/FOR_Certificate.thy

Loading...

thys/FO_Theory_Rewriting/FOR_Check.thy

Loading...

thys/FO_Theory_Rewriting/FOR_Check_Impl.thy

Loading...

thys/FO_Theory_Rewriting/FOR_Semantics.thy

Loading...

thys/FO_Theory_Rewriting/Primitives/LV_to_GTT.thy

Loading...

thys/FO_Theory_Rewriting/Primitives/NF.thy

Loading...

thys/FO_Theory_Rewriting/Primitives/NF_Impl.thy

Loading...

thys/FO_Theory_Rewriting/ROOT

Loading...

thys/FO_Theory_Rewriting/Rewriting/Rewriting.thy

Loading...

thys/FO_Theory_Rewriting/Type_Instances_Impl.thy

Loading...

thys/FO_Theory_Rewriting/Util/Bot_Terms.thy

Loading...

thys/FO_Theory_Rewriting/Util/Ground_MCtxt.thy

Loading...

thys/FO_Theory_Rewriting/Util/Multihole_Context.thy

Loading...

thys/FO_Theory_Rewriting/Util/Saturation.thy

Loading...

thys/FO_Theory_Rewriting/Util/Tree_Automata_Derivation_Split.thy

Loading...

thys/FO_Theory_Rewriting/Util/Utils.thy

Loading...

thys/FO_Theory_Rewriting/document/root.bib

Loading...

thys/FO_Theory_Rewriting/document/root.tex

Loading...

thys/ROOTS

Loading...

web/entries/FOL-Fitting.html

Loading...

web/entries/FO_Theory_Rewriting.html

Loading...

web/entries/Regular_Tree_Relations.html

Loading...

web/index.html

Loading...

web/rss.xml

Loading...

web/statistics.html

Loading...

web/topics.html

Loading...