]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/basic_2/multiple
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ground_2 milestone: multiple relocation with lists of booleans
[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / multiple /
2015-10-11 Ferruccio Guidiground_2 milestone: multiple relocation with lists... tree | commitdiff
2015-03-25 Ferruccio Guidi- revision of ground_2 and basic_2 tree | commitdiff
2014-10-27 Ferruccio Guidi- the trace is explicit in all auto tactics with depth > 1 tree | commitdiff
2014-10-26 Ferruccio Guidi- some renaming according to the written version of... tree | commitdiff
2014-10-02 Ferruccio Guidi- fpbg can be reflexive (example given) tree | commitdiff
2014-09-30 Ferruccio Guidinotation update for pointwise union tree | commitdiff
2014-09-15 Ferruccio Guidinotational change of lift, drop, and gget tree | commitdiff
2014-09-14 Ferruccio Guidislight refactoring in the proof of strong normalization tree | commitdiff
2014-09-12 Ferruccio Guidibug fix in ththe notation for lists: tree | commitdiff
2014-08-10 Ferruccio Guidisome renaming and a minor addition tree | commitdiff
2014-08-06 Ferruccio Guidi- some renaming and minor updates tree | commitdiff
2014-07-14 Ferruccio Guidisome renaming and some typos corrected ... tree | commitdiff
2014-06-28 Ferruccio Guidi- ldrop is now drop as in basic_1 tree | commitdiff
2014-06-10 Ferruccio Guidipreservation of stratified vaildity through ordinary... tree | commitdiff
2014-06-09 Ferruccio Guidiadvances on append allow to complete the long awaited... tree | commitdiff
2014-06-08 Ferruccio Guidinow we use the version of lazy union for local environm... tree | commitdiff
2014-06-08 Ferruccio Guidibug fix in lazy union for local environments tree | commitdiff
2014-06-08 Ferruccio Guidi- some work on append tree | commitdiff
2014-06-07 Ferruccio Guidi- advances on free variables allow to reduce lleq_lpx_t... tree | commitdiff
2014-06-01 Ferruccio Guidi- some refactoring and minor additions tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.