matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/basic_2/rt

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / rt_computation / partial.txt

2018-06-07	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw
2018-06-06	Ferruccio Guidi	update in ground_2 and basic_2	blob \| commitdiff \| raw \| diff to current
2018-06-04	Ferruccio Guidi	update in ground_2 and basic_2	blob \| commitdiff \| raw \| diff to current
2018-05-30	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-05-29	Ferruccio Guidi	commit completed in basic_2	blob \| commitdiff \| raw \| diff to current
2018-05-29	Ferruccio Guidi	partial commit in basic_2	blob \| commitdiff \| raw \| diff to current
2018-05-25	Ferruccio Guidi	partial update update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-05-12	Ferruccio Guidi	update in ground_2 and basic_2	blob \| commitdiff \| raw \| diff to current
2018-05-12	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-05-10	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-04-27	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-28	Ferruccio Guidi	milestone update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-28	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-27	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-21	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-20	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-19	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-17	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-16	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-09	Ferruccio Guidi	update in basic_2 + web page	blob \| commitdiff \| raw \| diff to current
2018-03-08	Ferruccio Guidi	long awaited update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-08	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-05	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-04	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2017-11-24	Ferruccio Guidi	- equivalence between lfpxs and lpxs + lfeq proved	blob \| commitdiff \| raw \| diff to current
2017-11-24	Ferruccio Guidi	- lpx and lpxs restored to prove equivalene between...	blob \| commitdiff \| raw \| diff to current
2017-11-13	Ferruccio Guidi	- lsubsx (replacement of lcosx) completed	blob \| commitdiff \| raw \| diff to current
2017-11-09	Ferruccio Guidi	lfsx_drops completed	blob \| commitdiff \| raw \| diff to current
2017-11-03	Ferruccio Guidi	- exclusion binder in local environments allows to...	blob \| commitdiff \| raw \| diff to current
2017-11-02	Ferruccio Guidi	- exclusion binder in local environments	blob \| commitdiff \| raw \| diff to current
2017-04-17	Ferruccio Guidi	- advances on lfpxs ...	blob \| commitdiff \| raw \| diff to current
2017-04-16	Ferruccio Guidi	- strong normalization for rt-comutation	blob \| commitdiff \| raw \| diff to current
2017-04-15	Ferruccio Guidi	lfsx_lfpxs completed!	blob \| commitdiff \| raw \| diff to current
2017-04-14	Ferruccio Guidi	- lfpxs based on tc_lfxs	blob \| commitdiff \| raw \| diff to current
2017-04-05	Ferruccio Guidi	- first prroperties on lfsx proved	blob \| commitdiff \| raw \| diff to current
2017-04-03	Ferruccio Guidi	- lfsx started ...	blob \| commitdiff \| raw \| diff to current
2017-04-01	Ferruccio Guidi	- strongly normalizing terms form a candidate of reduci...	blob \| commitdiff \| raw \| diff to current
2017-03-30	Ferruccio Guidi	- csx_cnx_vector.ma completed	blob \| commitdiff \| raw \| diff to current
2017-03-29	Ferruccio Guidi	csx_lfpx.ma completed!	blob \| commitdiff \| raw \| diff to current
2017-03-29	Ferruccio Guidi	- advances towards strong normalization	blob \| commitdiff \| raw \| diff to current
2017-03-21	Ferruccio Guidi	we finally understood what tsts is, :)	blob \| commitdiff \| raw \| diff to current
2017-03-17	Ferruccio Guidi	advances on csx towards strong normalization of rt...	blob \| commitdiff \| raw \| diff to current
2017-03-14	Ferruccio Guidi	- cpxs_tsts_vector completed	blob \| commitdiff \| raw \| diff to current
2017-03-13	Ferruccio Guidi	cpx_tsts completed	blob \| commitdiff \| raw \| diff to current
2017-03-11	Ferruccio Guidi	main part of lfpxs_cpxs ...	blob \| commitdiff \| raw \| diff to current
2017-03-08	Ferruccio Guidi	cpxs_lfpx completed	blob \| commitdiff \| raw \| diff to current
2017-03-06	Ferruccio Guidi	- advances on lfxs for lfpxs	blob \| commitdiff \| raw \| diff to current
2017-03-05	Ferruccio Guidi	advances on cpxs and cnx (cnxa removed) ,,,	blob \| commitdiff \| raw \| diff to current
2017-03-02	Ferruccio Guidi	- advances on csx	blob \| commitdiff \| raw \| diff to current
2017-02-20	Ferruccio Guidi	csx on the way ...	blob \| commitdiff \| raw \| diff to current
2017-02-19	Ferruccio Guidi	- advances on cnx	blob \| commitdiff \| raw \| diff to current
2017-02-19	Ferruccio Guidi	support for generic reducibility ...	blob \| commitdiff \| raw \| diff to current
2017-02-16	Ferruccio Guidi	- cprs and cnx on the way	blob \| commitdiff \| raw \| diff to current

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

RSS Atom