]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0910d4f) | patch
some horn+equality problems
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 19 May 2009 09:42:47 +0000 (09:42 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 19 May 2009 09:42:47 +0000 (09:42 +0000)
commit36326bac6e833046698176f50fdbb4517f6705a5
treefb69beaaa746fbac040ccacd0404125f014e5913tree | snapshot
parent0910d4f494486273e3a22fbfbb2290b48f5786b7commit | diff
some horn+equality problems
178 files changed:
helm/software/matita/contribs/TPTP/HEQ/ANA003-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/ANA004-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/ANA005-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/ANA031-2.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/ANA032-2.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/ANA034-2.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/BOO012-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/CAT018-4.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL003-10.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL003-2.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL003-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL003-4.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL003-5.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL003-6.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL003-7.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL003-8.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL003-9.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL006-2.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL006-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL006-4.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL042-2.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL042-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL042-4.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL042-5.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL043-2.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL044-2.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL044-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL044-4.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/COL044-5.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/HEN011-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/HWC002-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/HWC003-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/HWC003-2.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/HWV002-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/HWV003-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/HWV004-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LAT001-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LAT002-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LAT005-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LAT041-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL109-4.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL147-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL148-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL149-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL150-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL151-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL152-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL174-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL181-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL182-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL183-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL191-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL192-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL193-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL194-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL195-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL198-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL201-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL206-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL208-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL213-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL214-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL215-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL216-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL217-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL218-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL219-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL220-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL221-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL222-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL223-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL224-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL225-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL226-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL227-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL229-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL230-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL231-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL234-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL237-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL242-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL243-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL245-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL246-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL247-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL249-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL250-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL251-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL252-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL253-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL254-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL255-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL260-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL261-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL262-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL263-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL264-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL265-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL266-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL269-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL270-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL271-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL272-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL273-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL274-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL275-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL276-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL277-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL278-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL281-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL282-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL283-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL284-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL285-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL286-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL289-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL293-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL295-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL298-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL299-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL300-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL302-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL303-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL304-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL305-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL306-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL307-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL308-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL309-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL310-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL311-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL312-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL313-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL314-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL315-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL316-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL319-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL320-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL324-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL325-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL326-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL327-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL328-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL329-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL330-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL331-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL332-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL334-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL335-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL336-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL337-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL339-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL340-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL341-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL342-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL344-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL345-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL346-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL347-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL348-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL349-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL351-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LCL353-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/LDA004-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/MGT011-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/MGT012-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/NLP251-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/NLP252-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/NLP257-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/NLP258-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/NUM017-2.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/ROB006-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/ROB014-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/ROB018-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/HEQ/SWV251-2.ma [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/Makefile [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/depends [new file with mode: 0644] blob
helm/software/matita/contribs/TPTP/root [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.