Lines Matching refs:TRANSITIVE
2584 ("STRING<-L-TRANSITIVE" , "ACL2-USER" , "ACL2"),
2618 ("SYMBOL-<-TRANSITIVE" , "ACL2-USER" , "ACL2"),
4489 ("STRING<-L-TRANSITIVE" , "U" , "ACL2"),
4523 ("SYMBOL-<-TRANSITIVE" , "U" , "ACL2"),
6333 ("STRING<-L-TRANSITIVE" , "ACL2-ASG" , "ACL2"),
6367 ("SYMBOL-<-TRANSITIVE" , "ACL2-ASG" , "ACL2"),
8182 ("STRING<-L-TRANSITIVE" , "ACL2-AGP" , "ACL2"),
8216 ("SYMBOL-<-TRANSITIVE" , "ACL2-AGP" , "ACL2"),
10031 ("STRING<-L-TRANSITIVE" , "ACL2-CRG" , "ACL2"),
10065 ("SYMBOL-<-TRANSITIVE" , "ACL2-CRG" , "ACL2"),