Skip to content

Generate sort predicate syntax/rules only for locally declared sorts … #696

Generate sort predicate syntax/rules only for locally declared sorts …

Generate sort predicate syntax/rules only for locally declared sorts … #696

Annotations

1 warning

The logs for this run have expired and are no longer available.