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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 15 Jun 2009 09:36:46 +0000 (09:36 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 15 Jun 2009 09:36:46 +0000 (09:36 +0000)
commit	0639dda9142d1cf047b07e61fb557e8877aba4d8
tree	729e68589fc4cce5865a84312ddd08a6c3512a41	tree \| snapshot
parent	c40f28fe5bfa74fc1fcef986c03fc960793902a5	commit \| diff

tacticals are really tactics now, they have an AST at the same level of
tactics. Parser/engine fixed accordingly. This allowed a better TPTP
exportation

833 files changed:

helm/software/components/grafite/.depend.opt		diff \| blob \| history
helm/software/components/grafite/grafiteAst.ml		diff \| blob \| history
helm/software/components/grafite/grafiteAstPp.ml		diff \| blob \| history
helm/software/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
helm/software/components/tptp_grafite/tptp2grafite.ml		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ALG005-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ALG006-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ALG007-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO001-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO002-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO002-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO003-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO003-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO004-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO004-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO005-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO005-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO006-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO006-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO007-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO007-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO008-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO008-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO009-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO009-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO010-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO010-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO011-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO011-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO012-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO012-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO013-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO013-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO014-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO014-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO015-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO015-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO016-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO017-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO018-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO019-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO021-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO022-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO023-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO024-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO025-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO026-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO027-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO028-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO029-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO030-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO031-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO032-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO033-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO034-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO067-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO068-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO069-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO070-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO071-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO072-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO073-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO074-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO075-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO076-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO077-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO078-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO079-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO080-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO081-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO082-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO083-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO084-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO085-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO086-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO087-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO088-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO089-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO090-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO091-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO092-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO093-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO094-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO095-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO096-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO097-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO098-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO099-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO100-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO101-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO102-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO103-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO104-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO105-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO106-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO107-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/BOO108-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL001-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL001-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL002-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL002-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL002-5.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL003-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL003-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL004-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL004-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL005-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL006-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL006-5.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL006-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL006-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL007-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL008-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL009-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL010-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL011-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL012-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL013-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL014-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL015-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL016-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL017-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL018-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL019-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL020-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL021-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL022-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL023-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL024-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL025-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL026-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL027-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL029-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL030-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL031-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL032-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL033-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL034-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL035-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL036-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL037-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL038-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL039-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL041-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL042-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL042-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL042-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL042-8.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL042-9.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL043-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL043-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL044-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL044-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL044-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL044-8.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL044-9.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL045-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL046-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL047-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL048-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL049-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL050-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL051-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL052-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL053-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL056-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL057-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL058-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL058-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL058-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL060-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL060-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL060-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL061-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL061-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL061-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL062-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL062-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL062-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL063-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL063-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL063-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL063-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL063-5.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL063-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL064-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL064-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL064-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL064-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL064-5.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL064-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL064-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL064-8.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL064-9.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL065-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL066-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL066-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL066-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL067-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL068-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL069-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL070-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL071-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL073-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL075-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL083-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL084-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL085-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL086-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/COL087-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP001-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP001-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP002-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP002-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP002-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP010-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP011-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP012-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP014-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP022-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP023-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP024-5.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP114-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP115-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP116-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP117-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP118-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP119-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP120-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP121-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP122-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP136-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP137-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP138-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP139-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP140-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP141-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP142-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP143-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP144-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP145-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP146-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP147-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP148-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP149-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP150-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP151-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP152-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP153-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP154-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP155-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP156-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP157-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP158-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP159-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP160-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP161-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP162-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP163-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP164-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP164-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP165-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP165-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP166-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP166-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP166-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP166-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP167-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP167-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP167-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP167-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP167-5.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP168-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP168-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP169-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP169-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP170-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP170-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP170-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP170-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP171-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP171-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP172-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP172-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP173-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP174-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP175-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP175-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP175-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP175-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP176-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP176-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP177-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP177-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP178-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP178-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP179-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP179-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP179-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP180-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP180-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP181-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP181-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP181-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP181-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP182-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP182-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP182-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP182-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP183-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP183-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP183-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP183-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP184-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP184-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP184-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP184-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP185-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP185-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP185-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP185-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP186-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP186-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP186-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP186-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP187-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP188-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP188-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP189-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP189-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP190-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP190-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP191-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP191-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP192-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP193-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP193-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP195-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP196-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP200-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP201-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP202-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP203-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP204-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP205-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP206-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP207-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP403-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP404-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP405-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP406-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP407-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP408-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP409-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP410-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP411-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP412-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP413-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP414-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP415-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP416-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP417-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP418-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP419-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP420-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP421-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP422-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP423-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP424-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP425-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP426-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP427-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP428-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP429-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP430-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP431-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP432-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP433-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP434-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP435-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP436-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP437-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP438-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP439-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP440-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP441-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP442-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP443-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP444-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP445-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP446-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP447-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP448-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP449-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP450-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP451-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP452-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP453-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP454-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP455-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP456-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP457-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP458-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP459-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP460-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP461-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP462-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP463-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP464-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP465-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP466-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP467-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP468-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP469-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP470-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP471-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP472-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP473-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP474-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP475-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP476-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP477-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP478-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP479-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP480-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP481-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP482-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP483-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP484-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP485-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP486-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP487-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP488-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP489-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP490-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP491-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP492-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP493-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP494-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP495-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP496-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP497-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP498-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP499-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP500-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP501-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP502-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP503-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP504-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP505-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP506-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP507-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP508-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP509-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP510-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP511-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP512-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP513-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP514-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP515-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP516-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP517-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP518-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP519-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP520-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP521-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP522-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP523-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP524-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP525-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP526-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP527-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP528-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP529-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP530-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP531-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP532-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP533-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP534-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP535-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP536-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP537-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP538-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP539-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP540-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP541-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP542-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP543-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP544-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP545-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP546-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP547-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP548-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP549-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP550-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP551-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP552-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP553-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP554-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP555-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP556-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP557-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP558-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP559-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP560-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP561-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP562-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP563-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP564-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP565-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP566-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP567-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP568-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP569-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP570-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP571-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP572-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP573-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP574-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP575-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP576-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP577-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP578-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP579-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP580-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP581-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP582-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP583-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP584-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP585-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP586-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP587-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP588-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP589-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP590-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP591-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP592-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP593-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP594-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP595-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP596-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP597-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP598-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP599-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP600-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP601-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP602-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP603-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP604-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP605-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP606-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP607-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP608-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP609-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP610-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP611-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP612-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP613-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP614-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP615-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/GRP616-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT006-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT007-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT008-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT009-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT010-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT011-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT012-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT013-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT014-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT016-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT017-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT018-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT019-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT020-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT021-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT022-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT023-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT024-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT025-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT026-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT027-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT028-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT031-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT032-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT033-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT034-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT038-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT039-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT039-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT040-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT042-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT043-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT044-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT045-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT046-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT047-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT048-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT049-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT050-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT051-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT052-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT053-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT054-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT062-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT063-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT070-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT071-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT072-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT073-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT074-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT075-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT076-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT077-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT078-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT079-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT080-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT081-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT082-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT083-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT084-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT085-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT086-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT087-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT088-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT089-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT090-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT091-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT092-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT093-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT094-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT095-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT096-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT097-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT098-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT099-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT100-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT101-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT102-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT103-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT104-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT105-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT106-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT107-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT108-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT109-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT110-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT111-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT112-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT113-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT114-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT115-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT116-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT117-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT118-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT119-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT120-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT121-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT122-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT123-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT124-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT125-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT126-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT127-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT128-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT129-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT130-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT131-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT132-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT133-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT134-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT135-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT136-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT137-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT138-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT139-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT140-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT141-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT142-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT143-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT144-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT145-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT146-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT147-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT148-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT149-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT150-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT151-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT152-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT153-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT154-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT155-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT156-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT157-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT158-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT159-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT160-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT161-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT162-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT163-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT164-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT165-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT166-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT167-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT168-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT169-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT170-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT171-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT172-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT173-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT174-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT175-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT176-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LAT177-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL109-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL109-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL110-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL111-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL112-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL113-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL114-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL115-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL116-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL132-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL133-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL134-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL135-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL136-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL137-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL138-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL139-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL140-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL141-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL153-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL154-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL155-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL156-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL157-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL158-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL159-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL160-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL161-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL162-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL163-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL164-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LCL165-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LDA001-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LDA002-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/LDA007-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG007-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG008-3.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG008-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG008-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG009-5.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG009-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG010-5.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG010-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG010-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG011-5.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG012-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG013-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG014-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG015-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG016-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG017-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG018-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG019-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG019-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG020-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG020-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG021-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG021-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG023-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG023-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG024-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG024-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG025-4.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG025-5.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG025-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG025-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG025-8.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG025-9.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG026-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG026-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG027-5.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG027-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG027-8.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG027-9.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG028-5.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG028-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG028-8.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG028-9.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG029-5.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG029-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG029-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG030-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG030-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG031-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG031-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG032-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG032-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG033-6.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG033-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG033-8.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG033-9.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG035-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/RNG036-7.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB001-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB002-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB003-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB004-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB005-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB006-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB006-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB007-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB007-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB008-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB009-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB010-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB013-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB020-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB020-2.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB022-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB023-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB024-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB026-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB027-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB030-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB031-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/ROB032-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/SYN080-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/SYN083-1.ma		diff \| blob \| history
helm/software/matita/contribs/ng_TPTP/SYN305-1.ma		diff \| blob \| history

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

RSS Atom