Lines Matching refs:TRANSITIVE
12898 (mkpair (mksym "ACL2" "DEFTHM") (mkpair (mksym "ACL2" "STRING<-L-TRANSITIVE") (
12935 (mkpair (mksym "ACL2" "DEFTHM") (mkpair (mksym "ACL2" "SYMBOL-<-TRANSITIVE") (
18486 "BAD-ATOM<=-TRANSITIVE") (mkpair (mkpair (mksym "ACL2" "IMPLIES") (mkpair (
18658 (mkpair (mksym "ACL2" "DEFTHM") (mkpair (mksym "ACL2" "ALPHORDER-TRANSITIVE") (
18744 (mkpair (mksym "ACL2" "DEFTHM") (mkpair (mksym "ACL2" "LEXORDER-TRANSITIVE") (