#5733 handling all arguments for Fact and Theory #5734
+108
−25
Merged
Annotations
10 warnings
Loading