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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 26 Apr 2012 15:28:13 +0000 (15:28 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 26 Apr 2012 15:28:13 +0000 (15:28 +0000)
commit	eaaea3c18083de3e442e939768ff450d3b093911
tree	72e272de0a4ebb4c76e8361dd4401b9dcee87b8d	tree \| snapshot
parent	dc66c8d89a5147178ccdacb8341ed26c9c52f06b	commit \| diff

- notation (possibly affecting all .ma files):
  we shifted the precedence levels from 50 to 60 up by 5
  and moved level 65 to 66. By so doing, we cleared level 50 for
  use in the specification of the formal system lambda_delta,
  where we use it for weakly binding constructors
- lambda_delta:
  notation fixup (a couple of bugs were corrected)

65 files changed:

matita/matita/contribs/ICC/lamla.ma		diff \| blob \| history
matita/matita/contribs/POPLmark/Fsub/adeq.ma		diff \| blob \| history
matita/matita/contribs/POPLmark/Fsub/defn.ma		diff \| blob \| history
matita/matita/contribs/POPLmark/Fsub/defndb.ma		diff \| blob \| history
matita/matita/contribs/dama/dama/models/q_bars.ma		diff \| blob \| history
matita/matita/contribs/dama/dama_didactic/reals.ma		diff \| blob \| history
matita/matita/contribs/dama/dama_duality/classical_pointwise/sets.ma		diff \| blob \| history
matita/matita/contribs/dama/dama_duality/excess.ma		diff \| blob \| history
matita/matita/contribs/dama/dama_duality/infsup.ma		diff \| blob \| history
matita/matita/contribs/dama/dama_duality/lattice.ma		diff \| blob \| history
matita/matita/contribs/dama/dama_duality/limit.ma		diff \| blob \| history
matita/matita/contribs/dama/dama_duality/tend.ma		diff \| blob \| history
matita/matita/contribs/formal_topology/bin/old/formal_topology.ma		diff \| blob \| history
matita/matita/contribs/formal_topology/formal_topology.ma		diff \| blob \| history
matita/matita/contribs/formal_topology/formal_topology2.ma		diff \| blob \| history
matita/matita/contribs/igft/igft.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/apps_2/functional/notation.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/computation/csn_lcpr.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/computation/lsubc_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/notation.ma		diff \| blob \| history
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss.ma		diff \| blob \| history
matita/matita/lib/arithmetics/bigops.ma		diff \| blob \| history
matita/matita/lib/basics/core_notation.ma		diff \| blob \| history
matita/matita/lib/basics/lists/list.ma		diff \| blob \| history
matita/matita/lib/formal_topology/apply_functor.ma		diff \| blob \| history
matita/matita/lib/formal_topology/categories.ma		diff \| blob \| history
matita/matita/lib/formal_topology/o-algebra.ma		diff \| blob \| history
matita/matita/lib/formal_topology/r-o-basic_pairs.ma		diff \| blob \| history
matita/matita/lib/formal_topology/subsets.ma		diff \| blob \| history
matita/matita/lib/lambda/lambda_notation.ma		diff \| blob \| history
matita/matita/lib/lambdaN/lambda_notation.ma		diff \| blob \| history
matita/matita/lib/re/lang.ma		diff \| blob \| history
matita/matita/lib/re/moves.ma		diff \| blob \| history
matita/matita/lib/re/re.ma		diff \| blob \| history
matita/matita/lib/re/reb.ma		diff \| blob \| history
matita/matita/library/algebra/finite_groups.ma		diff \| blob \| history
matita/matita/library/dama/bishop_set_rewrite.ma		diff \| blob \| history
matita/matita/library/dama/russell_support.ma		diff \| blob \| history
matita/matita/library/dama/uniform.ma		diff \| blob \| history
matita/matita/library/datatypes/categories.ma		diff \| blob \| history
matita/matita/library/demo/power_derivative.ma		diff \| blob \| history
matita/matita/library/didactic/exercises/duality.ma		diff \| blob \| history
matita/matita/library/didactic/exercises/natural_deduction_theories.ma		diff \| blob \| history
matita/matita/library/didactic/exercises/shannon.ma		diff \| blob \| history
matita/matita/library/didactic/exercises/substitution.ma		diff \| blob \| history
matita/matita/library/nat/pi_p.ma		diff \| blob \| history
matita/matita/nlibrary/PTS/gpts.ma		diff \| blob \| history
matita/matita/nlibrary/basics/list2.ma		diff \| blob \| history
matita/matita/nlibrary/core_notation.ma		diff \| blob \| history
matita/matita/nlibrary/logic/cprop.ma		diff \| blob \| history
matita/matita/nlibrary/overlap/o-algebra.ma		diff \| blob \| history
matita/matita/nlibrary/re/re-setoids.ma		diff \| blob \| history
matita/matita/nlibrary/re/re.ma		diff \| blob \| history
matita/matita/nlibrary/sets/categories2.ma		diff \| blob \| history
matita/matita/nlibrary/sets/setoids.ma		diff \| blob \| history
matita/matita/nlibrary/sets/setoids1.ma		diff \| blob \| history
matita/matita/nlibrary/sets/setoids2.ma		diff \| blob \| history
matita/matita/nlibrary/topology/igft-setoid.ma		diff \| blob \| history
matita/matita/nlibrary/topology/igft.ma		diff \| blob \| history
matita/matita/re_complete/basics/core_notation.ma		diff \| blob \| history
matita/matita/re_complete/basics/list.ma		diff \| blob \| history
matita/matita/re_complete/lang.ma		diff \| blob \| history
matita/matita/re_complete/moves.ma		diff \| blob \| history
matita/matita/re_complete/re.ma		diff \| blob \| history
matita/matita/tests/color.ma		diff \| blob \| history

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

RSS Atom