]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/basic_2/relocation/drops.ma
- first working commit of the static component ..
[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / relocation / drops.ma
2016-04-12 Ferruccio Guidi- first working commit of the static component ..
2016-04-11 Ferruccio Guidi- advances on drops
2016-04-08 Ferruccio Guidi- commit of the "s_computation" component ...
2016-04-01 Ferruccio Guidi- new component "s_transition" for the restored fqu...
2016-03-27 Ferruccio Guidi- minor corrections
2016-03-18 Ferruccio Guidiadvances in the theory of drops, lexs, and frees ...
2016-03-10 Ferruccio Guidipartial commit in the relocation component to move...
2016-02-09 Ferruccio Guidigeneral slicing reactivated ...
2015-10-25 Ferruccio Guiditheory of generic slicing almost completed ....
2015-10-21 Ferruccio Guiditheory of multiple relocation completed