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_transition/partial.txt

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

2017-03-14	Ferruccio Guidi	- fpbq	blob \| commitdiff \| raw
2017-03-13	Ferruccio Guidi	cpx_tsts completed	blob \| commitdiff \| raw \| diff to current
2017-03-08	Ferruccio Guidi	cpxs_lfpx completed	blob \| commitdiff \| raw \| diff to current
2017-03-02	Ferruccio Guidi	- advances on csx	blob \| commitdiff \| raw \| diff to current
2017-02-19	Ferruccio Guidi	- advances on cnx	blob \| commitdiff \| raw \| diff to current
2017-02-16	Ferruccio Guidi	- cprs and cnx on the way	blob \| commitdiff \| raw \| diff to current
2017-02-01	Ferruccio Guidi	- advances in rt_transition	blob \| commitdiff \| raw \| diff to current
2017-01-26	Ferruccio Guidi	- some commutations between the rt-steps and the s...	blob \| commitdiff \| raw \| diff to current
2017-01-19	Ferruccio Guidi	- preservation of arity assignment	blob \| commitdiff \| raw \| diff to current
2017-01-18	Ferruccio Guidi	- improved lfpr_lfpr	blob \| commitdiff \| raw \| diff to current
2017-01-17	Ferruccio Guidi	lfpx_frees and confluence of lfpr!	blob \| commitdiff \| raw \| diff to current
2016-09-15	Ferruccio Guidi	diamond property of reduction!	blob \| commitdiff \| raw \| diff to current
2016-09-14	Ferruccio Guidi	first results on lfpr as a base for the diamond propert...	blob \| commitdiff \| raw \| diff to current
2016-09-13	Ferruccio Guidi	more results on cpm ...	blob \| commitdiff \| raw \| diff to current
2016-07-04	Ferruccio Guidi	basic properties of cpr ...	blob \| commitdiff \| raw \| diff to current
2016-07-01	Ferruccio Guidi	first definition of cpm:	blob \| commitdiff \| raw \| diff to current
2016-06-27	Ferruccio Guidi	lfpx_drops completed!	blob \| commitdiff \| raw \| diff to current
2016-05-24	Ferruccio Guidi	une file was missing :(	blob \| commitdiff \| raw \| diff to current
2016-05-22	Ferruccio Guidi	- notational change for cpg and cpx	blob \| commitdiff \| raw \| diff to current

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

RSS Atom