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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 24 Jun 2008 14:47:16 +0000 (14:47 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 24 Jun 2008 14:47:16 +0000 (14:47 +0000)
commit	ca41435a6021292ccba239aa173651c0be705b45
tree	261ef208de34f42c2e2ef5b1beb1a57f18f15369	tree \| snapshot
parent	9fb5c64e77e7cde6c6e47549a9dbf7619f685372	commit \| diff

notation factored, coercion commant taking terms and not only URI

30 files changed:

helm/software/components/binaries/transcript/grafite.ml		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/grafiteMarshal.ml		diff \| blob \| history
helm/software/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
helm/software/components/grafite_parser/grafiteDisambiguate.ml		diff \| blob \| history
helm/software/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
helm/software/matita/contribs/dama/dama/bishop_set.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/cprop_connectives.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/lebesgue.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/models/discrete_uniformity.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/models/nat_dedekind_sigma_complete.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/models/nat_ordered_uniform.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/models/q_function.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/ordered_set.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/ordered_uniform.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/property_exhaustivity.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/property_sigma.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/supremum.ma		diff \| blob \| history
helm/software/matita/contribs/dama/dama/uniform.ma		diff \| blob \| history
helm/software/matita/core_notation.moo		diff \| blob \| history
helm/software/matita/help/C/sec_commands.xml		diff \| blob \| history
helm/software/matita/library/Q/frac.ma		diff \| blob \| history
helm/software/matita/library/Q/inv.ma		diff \| blob \| history
helm/software/matita/library/Q/q.ma		diff \| blob \| history
helm/software/matita/library/Z/z.ma		diff \| blob \| history
helm/software/matita/library/datatypes/constructors.ma		diff \| blob \| history
helm/software/matita/library/decidable_kit/eqtype.ma		diff \| blob \| history
helm/software/matita/library/demo/power_derivative.ma		diff \| blob \| history
helm/software/matita/library/logic/equality.ma		diff \| blob \| history

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

RSS Atom