menu

Return to entry

Monoid_Action
Abstract_Substitution
Option_Extra
List_Extra
Finite_Map_Extra
Fun_Extra
Substitution
Based_Substitution
Natural_Magma
Natural_Functor
Natural_Magma_Functor
Substitution_Lifting
Based_Substitution_Lifting
Noop_Substitution
Substitution_First_Order_Term
Substitution_HOL_ex_Unification
Substitution_Lifting_Example

Abstract_Substitution.Fun_Extra

HTML Presentation