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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 9 Apr 2020 17:26:31 +0000 (19:26 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 9 Apr 2020 17:26:31 +0000 (19:26 +0200)
commit	2f6f2b7c01d47d23f61dd48d767bcb37aecdcfea
tree	5fbd0c2313f6f47c0432e6cf976921dbc74ef952	tree \| snapshot
parent	3a4509b8e569181979f5b15808361c83eb1ae49a	commit \| diff

update in binararies for λδ

+ updated roles
+ some role specifications removed from basic_2A
+ updated web site

43 files changed:

helm/www/lambdadelta/web/home/specification.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/computation/cprs_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/cl_restricted_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/cl_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/item.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/lenv_append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/lenv_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/term.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/term_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/tsts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/tsts_tsts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/tsts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/drops_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/lifts_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/lifts_lift_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/lifts_lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/multiple/lifts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/cnr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/cnr_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/cpr_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/crr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/crx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/fpbq_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/lpr_drop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/lpr_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/reduction/lpx_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/substitution/drop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/substitution/drop_drop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/substitution/fquq_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/substitution/lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/substitution/lift_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/substitution/lpx_sn_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/unfold/lstas.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/unfold/lstas_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/unfold/lstas_lstas.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/roles/roles.css		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/roles/webEngine.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/rename.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/roles.osn		diff \| blob \| history

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

RSS Atom