]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02e8b3e) | patch
Added problems from CASC 208
authordenes <??>
Mon, 22 Jun 2009 17:03:32 +0000 (17:03 +0000)
committerdenes <??>
Mon, 22 Jun 2009 17:03:32 +0000 (17:03 +0000)
commit2b649ad5e3d7413b795fe86bdf7fe6a5c0b9c194
tree4269414e231ee80b9f086a7b3254c0d89e9698f5tree | snapshot
parent02e8b3eb9d2a8a3bb3942c41b47b6ac048efd5becommit | diff
Added problems from CASC 208
83 files changed:
helm/software/matita/contribs/ng_TPTP/CASC_2008/BOO007-2.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/BOO007-4.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/BOO031-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/BOO034-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/BOO072-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/BOO073-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/BOO076-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/COL003-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/COL003-12.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/COL003-20.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/COL006-6.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/COL011-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/COL037-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/COL038-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/COL043-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/COL044-8.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/COL046-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/COL049-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/COL057-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/COL060-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/COL061-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/COL063-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/COL064-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/COL065-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP014-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP024-5.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP114-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP164-2.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP167-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP178-2.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP181-4.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP183-4.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP184-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP184-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP185-2.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP185-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP186-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP186-2.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP187-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP200-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP202-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP404-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP405-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP422-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP423-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP444-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP452-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP453-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP471-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP477-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP506-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/GRP508-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/LAT080-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/LAT087-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/LAT093-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/LAT138-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/LAT140-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/LAT146-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/LAT148-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/LAT152-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/LAT156-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/LAT159-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/LAT164-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/LAT165-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/LAT166-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/LAT169-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/LAT170-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/LAT173-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/LAT175-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/Makefile [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/RNG009-7.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/RNG019-6.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/RNG019-7.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/RNG020-6.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/RNG026-6.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/RNG027-7.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/RNG028-9.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/RNG029-7.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/RNG035-7.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/ROB006-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/ROB006-2.ma [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/depends [new file with mode: 0644] blob
helm/software/matita/contribs/ng_TPTP/CASC_2008/root [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.