Lines Matching refs:same
952 %{\it \quotient{} relation}, which is not the same as an equivalence relation.
2752 record with the same fields as above except for {\it old\_thms},
2768 are named the same as before.
2833 These are the same as the ``{\tt full}'' functions above, but
3077 has the same form as the preservation theorems of section \ref{polypreserves},
3255 the same variable {\tt zi} may be used in place of both {\tt xi} in the first
3521 lifted types, and the lifted version of the value of the same function
3769 is equal to the lifted version of the value of the same operator
3820 theorem can be proven by the user, using the same approach as for the example
3961 is the same.
3987 quotients. The conditioning is the same as that described
4230 theorem can be proven by the user, using the same approach as for the example
4355 the same as
4929 is the same.
5405 In fact, though the operators look the same, all the types have changed
5811 %of a value has the same
5820 %a symmetric version of the same idea, both of which are useful