Lines Matching defs:parameters
389 \index{parameters|bold}\index{eigenvariables|see{parameters}}
485 corresponding object-level rule. Object-level assumptions and parameters
731 \subsection{Lifting over parameters}
732 \index{parameters!lifting over}
764 I discuss lifting and parameters at length elsewhere~\cite{paulson-found}.
808 lifting over subgoal~$i$'s assumptions and parameters. If the proof state
825 In the course of a natural deduction proof, parameters $x@1$, \ldots,~$x@l$ and
829 parameters at the front:
845 with $\lambda x@1 \ldots x@l. \theta$. Isabelle supplies the parameters