]>
matita.cs.unibo.it Git - helm.git/blobdiff - matita/tests/TPTP/unit_equality_problems.txt
COL002-4
COL002-5
COL003-1
COL002-4
COL002-5
COL003-1
-COL003-1
-COL003-1
-COL003-1
-COL003-1
-COL003-1
-COL003-1
-COL003-1
-COL003-1
COL003-2
COL004-1
COL004-3
COL003-2
COL004-1
COL004-3
COL064-7
COL064-8
COL064-9
COL064-7
COL064-8
COL064-9
COL065-1
COL066-1
COL066-2
COL065-1
COL066-1
COL066-2