]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/matita/tests/TPTP/unit_equality_problems.txt
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
COL064-7
COL064-8
COL064-9
-COL064-1
-COL064-1
COL065-1
COL066-1
COL066-2