menu

Return to entry

Term_Utils
Find_First
Name
Fresh_Monad
Fresh_Class
Term_Class
Term
Pats
Nterm
Term_to_Nterm
Unification_Compat
Lambda_Free_Compat

Higher_Order_Terms.Unification_Compat

HTML Presentation