menu

Return to entry

Utils
Multihole_Context_More
Ground_MCtxt
Bot_Terms
Saturation
Rewriting
LV_to_GTT
NF
Tree_Automata_Derivation_Split
TA_Clousure_Const
Type_Instances_Impl
NF_Impl
Context_Extensions
FOR_Certificate
Lift_Root_Step
Context_RR2
GTT_RRn
FOL_Extra
FOR_Semantics
FOR_Check
FOR_Check_Impl

FO_Theory_Rewriting.Lift_Root_Step

HTML Presentation