Use new isPrototyped
predicate in RULE-8-2
#132
The logs for this run have expired and are no longer available.
Loading
isPrototyped
predicate in RULE-8-2
#132