matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 19 May 2009 10:07:50 +0000 (10:07 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 19 May 2009 10:07:50 +0000 (10:07 +0000)
commit	2af96fc83e36af5270b1181864855791ed38fbb8
tree	6e87b6895759741bbc1a29a7e591f7a1ce706b54	tree \| snapshot
parent	f68f477d76866de24ebdb5351912754a7dccbda5	commit \| diff

regenerated

167 files changed:

helm/software/matita/contribs/TPTP/HEQ/ANA003-1.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/ANA004-1.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/ANA005-1.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/ANA032-2.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/ANA034-2.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/BOO012-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/CAT018-4.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL003-10.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL003-2.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL003-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL003-4.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL003-5.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL003-6.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL003-7.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL003-8.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL003-9.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL006-2.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL006-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL006-4.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL042-2.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL042-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL042-4.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL042-5.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL043-2.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL044-2.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL044-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL044-4.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/COL044-5.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/HEN011-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/HWC003-1.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/HWC003-2.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/HWV002-1.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LAT001-1.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LAT002-1.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LAT005-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LAT041-1.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL109-4.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL147-1.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL148-1.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL149-1.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL150-1.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL151-1.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL152-1.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL174-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL181-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL182-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL183-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL191-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL192-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL193-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL194-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL195-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL198-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL201-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL206-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL208-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL213-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL214-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL215-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL216-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL217-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL218-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL219-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL220-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL221-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL222-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL223-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL224-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL225-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL226-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL227-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL229-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL230-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL231-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL234-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL237-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL242-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL243-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL245-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL246-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL247-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL249-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL250-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL251-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL252-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL253-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL254-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL255-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL260-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL261-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL262-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL263-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL264-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL265-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL266-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL269-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL270-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL271-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL272-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL273-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL274-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL275-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL276-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL277-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL278-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL281-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL282-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL283-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL284-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL285-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL286-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL289-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL293-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL295-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL298-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL299-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL300-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL302-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL303-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL304-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL305-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL306-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL307-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL308-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL309-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL310-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL311-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL312-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL313-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL314-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL315-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL316-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL319-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL320-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL324-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL325-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL326-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL327-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL328-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL329-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL330-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL331-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL332-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL334-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL335-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL336-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL337-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL339-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL340-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL341-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL342-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL344-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL345-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL346-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL347-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL348-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL349-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL351-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LCL353-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/LDA004-1.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/NLP251-1.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/NLP252-1.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/NLP257-1.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/NLP258-1.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/NUM017-2.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/ROB006-3.ma		diff \| blob \| history
helm/software/matita/contribs/TPTP/HEQ/SWV251-2.ma		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom