LKProofSubstitutableDefault
LambdaEliminationReduction
LambdaExpressionClosedUnderSub
LeanCoPLeanPredWrongArityException
LeanCoPNoLeanPredException
labelledFormulaToLatexString
languageWithDummyParameters
leastGeneralGeneralization
leastGeneralGeneralization1
linearizeStrictPartialOrder
linearizedDependencyRelation