CVS difference for ai12s/ai12-0422-1.txt

Differences between 1.5 and version 1.6
Log of other versions for file ai12s/ai12-0422-1.txt

--- ai12s/ai12-0422-1.txt	2021/01/27 06:28:27	1.5
+++ ai12s/ai12-0422-1.txt	2021/02/25 01:35:10	1.6
@@ -106,9 +106,6 @@
 private extension.
 
 !corrigendum 6.1.1(22.1/4)
-!AI-0198-1
-!AI-0280-2
-!AI-0422-1
 
 @drepl
 @xbullet<a @fa<predicate> of a @fa<quantified_expression>;>

Questions? Ask the ACAA Technical Agent