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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 31 Jan 2016 14:37:43 +0000 (14:37 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 31 Jan 2016 14:37:43 +0000 (14:37 +0000)
commit	e92beef4185d9c11884bcdb123429b1e7138e40c
tree	127776181fd1089e81997224bb1056d4dbf0f6d1	tree \| snapshot
parent	6acee1cf296163fee832b112c96b6624253aee06	commit \| diff

renaming ...

57 files changed:

matita/matita/contribs/lambdadelta/basic_2/etc_new/lenv/lenv_length.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/aarity.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/cl_restricted_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/cl_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/genv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/item.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/lenv_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/grammar/term.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/term_simple.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/tsts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/gref_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snabbr_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snabst_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snbind2_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/star_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/weight_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/notation.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btpred_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btpredalt_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btpredproper_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btpredstar_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btpredstaralt_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btsn_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btsnalt_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/cosn_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/degree_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/dpconvstar_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/dpredstar_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/freestar_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazybtpredstarproper_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazyeq_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazyeq_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazyor_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lrsubeq_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lrsubeqd_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lrsubeqv_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/midiso_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/nativevalid_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/nativevalid_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pred_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predeval_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/prednormal_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/prednotreducible_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predreducible_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsn_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstar_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predstar_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/psubst_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/psubststar_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/psubststaralt_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/rdropstar_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/rliftstar_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/sn_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/sn_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/snalt_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/snalt_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/statictypestar_6.ma		diff \| blob \| history

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

RSS Atom