]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 19 May 2009 14:38:16 +0000 (14:38 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 19 May 2009 14:38:16 +0000 (14:38 +0000)
commita1a2df562444579a2c33e98fc96ba6b41e0371ef
treefcf548069cd0a9b8e88ae6f6675ad80638f39991
parentc43c06062d86bb62bd259537f18aa587699aad9c
...
38 files changed:
helm/software/matita/contribs/TPTP/HEQ/BOO012-3.ma
helm/software/matita/contribs/TPTP/HEQ/CAT018-4.ma
helm/software/matita/contribs/TPTP/HEQ/COL003-10.ma
helm/software/matita/contribs/TPTP/HEQ/COL003-2.ma
helm/software/matita/contribs/TPTP/HEQ/COL003-3.ma
helm/software/matita/contribs/TPTP/HEQ/COL003-4.ma
helm/software/matita/contribs/TPTP/HEQ/COL003-5.ma
helm/software/matita/contribs/TPTP/HEQ/COL003-6.ma
helm/software/matita/contribs/TPTP/HEQ/COL003-7.ma
helm/software/matita/contribs/TPTP/HEQ/COL003-8.ma
helm/software/matita/contribs/TPTP/HEQ/COL003-9.ma
helm/software/matita/contribs/TPTP/HEQ/COL006-2.ma
helm/software/matita/contribs/TPTP/HEQ/COL006-3.ma
helm/software/matita/contribs/TPTP/HEQ/COL006-4.ma
helm/software/matita/contribs/TPTP/HEQ/COL042-2.ma
helm/software/matita/contribs/TPTP/HEQ/COL042-3.ma
helm/software/matita/contribs/TPTP/HEQ/COL042-4.ma
helm/software/matita/contribs/TPTP/HEQ/COL042-5.ma
helm/software/matita/contribs/TPTP/HEQ/COL043-2.ma
helm/software/matita/contribs/TPTP/HEQ/COL044-2.ma
helm/software/matita/contribs/TPTP/HEQ/COL044-3.ma
helm/software/matita/contribs/TPTP/HEQ/COL044-4.ma
helm/software/matita/contribs/TPTP/HEQ/COL044-5.ma
helm/software/matita/contribs/TPTP/HEQ/HEN011-3.ma
helm/software/matita/contribs/TPTP/HEQ/LAT001-1.ma
helm/software/matita/contribs/TPTP/HEQ/LAT002-1.ma
helm/software/matita/contribs/TPTP/HEQ/LAT005-3.ma
helm/software/matita/contribs/TPTP/HEQ/LAT041-1.ma
helm/software/matita/contribs/TPTP/HEQ/LCL109-4.ma
helm/software/matita/contribs/TPTP/HEQ/LCL147-1.ma
helm/software/matita/contribs/TPTP/HEQ/LCL148-1.ma
helm/software/matita/contribs/TPTP/HEQ/LCL149-1.ma
helm/software/matita/contribs/TPTP/HEQ/LCL150-1.ma
helm/software/matita/contribs/TPTP/HEQ/LCL151-1.ma
helm/software/matita/contribs/TPTP/HEQ/LCL152-1.ma
helm/software/matita/contribs/TPTP/HEQ/ROB006-3.ma
helm/software/matita/contribs/TPTP/HEQ/ROB014-1.ma
helm/software/matita/contribs/TPTP/HEQ/ROB018-1.ma