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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 7 Jan 2008 12:58:43 +0000 (12:58 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 7 Jan 2008 12:58:43 +0000 (12:58 +0000)
commit	73e52492b520deb0e79e75bd47733366e27e278d
tree	a22c1d7d5cefa29c9f25f5f13590b781007aa770	tree \| snapshot
parent	9aa2df835e06cb49ba6381cef62b8aa137aad9c2	commit \| diff

dama, tests, legacy ported

336 files changed:

components/content_pres/termContentPres.ml		diff \| blob \| history
components/lexicon/cicNotation.mli		diff \| blob \| history
matita/legacy/coq.ma		diff \| blob \| history
matita/library/depends		diff \| blob \| history
matita/matitacLib.ml		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO001-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO003-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO003-4.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO004-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO004-4.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO005-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO005-4.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO006-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO006-4.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO009-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO009-4.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO010-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO010-4.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO011-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO011-4.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO012-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO012-4.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO013-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO013-4.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO016-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO017-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO018-4.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO034-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO069-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO071-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/BOO075-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL004-3.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL007-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL008-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL010-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL012-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL013-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL014-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL015-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL016-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL017-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL018-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL021-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL022-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL024-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL025-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL045-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL048-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL050-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL058-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL058-3.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL060-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL060-3.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL061-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL061-3.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL062-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL062-3.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL063-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL063-3.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL063-4.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL063-5.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL063-6.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL064-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL064-3.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL064-4.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL064-5.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL064-6.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL064-7.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL064-8.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL064-9.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL083-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL084-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL085-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/COL086-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP001-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP001-4.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP010-4.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP011-4.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP012-4.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP022-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP023-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP115-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP116-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP117-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP118-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP136-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP137-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP139-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP141-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP142-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP143-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP144-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP145-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP146-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP149-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP150-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP151-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP152-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP153-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP154-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP155-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP156-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP157-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP158-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP159-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP160-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP161-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP162-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP163-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP168-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP168-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP173-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP174-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP176-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP176-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP182-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP182-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP182-3.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP182-4.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP186-3.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP186-4.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP188-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP188-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP189-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP189-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP192-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP206-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP454-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP455-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP456-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP457-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP458-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP459-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP460-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP463-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP467-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP481-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP484-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP485-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP486-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP487-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP488-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP490-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP491-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP492-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP493-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP494-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP495-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP496-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP497-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP498-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP509-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP510-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP511-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP512-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP513-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP514-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP515-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP516-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP517-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP518-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP520-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP541-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP542-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP543-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP544-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP545-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP546-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP547-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP548-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP549-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP550-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP551-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP552-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP556-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP558-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP560-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP561-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP562-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP564-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP565-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP566-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP567-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP568-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP569-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP570-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP572-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP573-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP574-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP576-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP577-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP578-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP580-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP581-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP582-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP583-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP584-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP586-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP588-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP590-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP592-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP595-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP596-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP597-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP598-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP599-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP600-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP602-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP603-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP604-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP605-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP606-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP608-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP612-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP613-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP614-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP615-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/GRP616-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LAT008-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LAT033-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LAT034-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LAT039-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LAT039-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LAT040-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LAT045-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LCL110-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LCL112-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LCL113-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LCL114-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LCL115-2.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LCL132-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LCL133-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LCL134-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LCL135-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LCL139-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LCL140-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LCL141-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LCL153-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LCL154-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LCL155-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LCL156-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LCL157-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LCL158-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LCL161-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LCL164-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LDA001-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/LDA007-3.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/RNG007-4.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/RNG008-4.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/RNG011-5.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/RNG023-6.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/RNG023-7.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/RNG024-6.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/RNG024-7.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/ROB002-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/ROB009-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/ROB010-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/ROB013-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/ROB030-1.p.ma		diff \| blob \| history
matita/tests/TPTP/Veloci/SYN083-1.p.ma		diff \| blob \| history
matita/tests/absurd.ma		diff \| blob \| history
matita/tests/apply.ma		diff \| blob \| history
matita/tests/apply2.ma		diff \| blob \| history
matita/tests/applys.ma		diff \| blob \| history
matita/tests/assumption.ma		diff \| blob \| history
matita/tests/bad_induction.ma		diff \| blob \| history
matita/tests/bad_tests/auto.ma		diff \| blob \| history
matita/tests/bad_tests/baseuri.ma		diff \| blob \| history
matita/tests/bool.ma		diff \| blob \| history
matita/tests/change.ma		diff \| blob \| history
matita/tests/clear.ma		diff \| blob \| history
matita/tests/clearbody.ma		diff \| blob \| history
matita/tests/coercions.ma		diff \| blob \| history
matita/tests/coercions_contravariant.ma		diff \| blob \| history
matita/tests/coercions_dependent.ma		diff \| blob \| history
matita/tests/coercions_dupelim.ma		diff \| blob \| history
matita/tests/coercions_nonuniform.ma		diff \| blob \| history
matita/tests/coercions_open.ma		diff \| blob \| history
matita/tests/coercions_propagation.ma		diff \| blob \| history
matita/tests/coercions_russell.ma		diff \| blob \| history
matita/tests/comments.ma		diff \| blob \| history
matita/tests/compose.ma		diff \| blob \| history
matita/tests/constructor.ma		diff \| blob \| history
matita/tests/continuationals.ma		diff \| blob \| history
matita/tests/contradiction.ma		diff \| blob \| history
matita/tests/cut.ma		diff \| blob \| history
matita/tests/decl.ma		diff \| blob \| history
matita/tests/decompose.ma		diff \| blob \| history
matita/tests/demodulation_coq.ma		diff \| blob \| history
matita/tests/demodulation_matita.ma		diff \| blob \| history
matita/tests/dependent_injection.ma		diff \| blob \| history
matita/tests/dependent_type_inference.ma		diff \| blob \| history
matita/tests/destruct.ma		diff \| blob \| history
matita/tests/elim.ma		diff \| blob \| history
matita/tests/fguidi.ma		diff \| blob \| history
matita/tests/first.ma		diff \| blob \| history
matita/tests/fix_betareduction.ma		diff \| blob \| history
matita/tests/fold.ma		diff \| blob \| history
matita/tests/generalize.ma		diff \| blob \| history
matita/tests/hard_refine.ma		diff \| blob \| history
matita/tests/injection.ma		diff \| blob \| history
matita/tests/interactive/automatic_insertion.ma		diff \| blob \| history
matita/tests/interactive/drop.ma		diff \| blob \| history
matita/tests/interactive/grafite.ma		diff \| blob \| history
matita/tests/interactive/test5.ma		diff \| blob \| history
matita/tests/interactive/test6.ma		diff \| blob \| history
matita/tests/interactive/test7.ma		diff \| blob \| history
matita/tests/interactive/test_instance.ma		diff \| blob \| history
matita/tests/inversion.ma		diff \| blob \| history
matita/tests/inversion2.ma		diff \| blob \| history
matita/tests/letrec.ma		diff \| blob \| history
matita/tests/letrecand.ma		diff \| blob \| history
matita/tests/match_inference.ma		diff \| blob \| history
matita/tests/metasenv_ordering.ma		diff \| blob \| history
matita/tests/multiple_inheritance.ma		diff \| blob \| history
matita/tests/mysql_escaping.ma		diff \| blob \| history
matita/tests/naiveparamod.ma		diff \| blob \| history
matita/tests/overred.ma		diff \| blob \| history
matita/tests/paramodulation.ma		diff \| blob \| history
matita/tests/paramodulation/BOO075-1.ma		diff \| blob \| history
matita/tests/paramodulation/boolean_algebra.ma		diff \| blob \| history
matita/tests/paramodulation/group.ma		diff \| blob \| history
matita/tests/paramodulation/irratsqrt2.ma		diff \| blob \| history
matita/tests/pullback.ma		diff \| blob \| history
matita/tests/record.ma		diff \| blob \| history
matita/tests/replace.ma		diff \| blob \| history
matita/tests/rewrite.ma		diff \| blob \| history
matita/tests/second.ma		diff \| blob \| history
matita/tests/simpl.ma		diff \| blob \| history
matita/tests/tacticals.ma		diff \| blob \| history
matita/tests/test2.ma		diff \| blob \| history
matita/tests/test3.ma		diff \| blob \| history
matita/tests/test4.ma		diff \| blob \| history
matita/tests/third.ma		diff \| blob \| history
matita/tests/tinycals.ma		diff \| blob \| history
matita/tests/unfold.ma		diff \| blob \| history

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

RSS Atom