matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambda-delta/Basic-2/reduction/tpr.ma

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambda-delta/Basic-2/reduction/tpr.ma

2011-09-22	Ferruccio Guidi	- the confluence of context-senstitive parallel reducti...	blob \| commitdiff \| raw
2011-09-08	Ferruccio Guidi	- support for transitive closures started	blob \| commitdiff \| raw \| diff to current
2011-09-06	Ferruccio Guidi	- confluence of context-free reduction on terms (tpr...	blob \| commitdiff \| raw \| diff to current
2011-09-02	Ferruccio Guidi	- the theory of parallel substitution of local environm...	blob \| commitdiff \| raw \| diff to current
2011-08-29	Ferruccio Guidi	- we shared the atomic term constructions	blob \| commitdiff \| raw \| diff to current
2011-08-27	Ferruccio Guidi	- the shift function is now defined and cpr_shift_fwd...	blob \| commitdiff \| raw \| diff to current
2011-08-24	Ferruccio Guidi	one reduction rule (tpr) was redundant	blob \| commitdiff \| raw \| diff to current
2011-08-18	Ferruccio Guidi	- some refactoring	blob \| commitdiff \| raw \| diff to current
2011-08-10	Ferruccio Guidi	refactoring completed!	blob \| commitdiff \| raw \| diff to current
2011-08-10	Ferruccio Guidi	the refactoring continues ...	blob \| commitdiff \| raw \| diff to current

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