Lines Matching refs:same
570 val _ = set_fixity "||z" (Infixl 500); (* same as + in arithmeticScript.sml *)
571 val _ = set_fixity "oz" (Infixl 500); (* same as + in arithmeticScript.sml *)
572 val _ = set_fixity ">>z" (Infixr 700); (* same as EXP in arithmeticScript.sml, infix right *)
573 val _ = set_fixity "'z" (Infixl 2000); (* same as ' for function application *)
578 val _ = set_fixity "pdividesz" (Infix(NONASSOC, 450)); (* same as relation *)
3863 (* Another proof of the same result. *)
3931 (* Another proof of the same result. *)
5183 (3) same as (1).
5846 (4) same as (1).
5847 (5) same as (2).