]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/ground_2
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
commit of the "relocation" component with the new definition of ldrop,
[helm.git] / matita / matita / contribs / lambdadelta / ground_2 /
2014-01-16 Ferruccio Guidicommit of the "relocation" component with the new defin... tree | commitdiff
2014-01-09 Ferruccio Guidi- ynat: some additions tree | commitdiff
2014-01-05 Ferruccio Guidi- new definition of lazy equivalence for local environm... tree | commitdiff
2014-01-03 Ferruccio Guidi- extended multiple substitutions now uses bounds in... tree | commitdiff
2014-01-03 Ferruccio Guidimore arithmetics for natural numbers with infinity ... tree | commitdiff
2013-12-28 Ferruccio Guidisome improvements and new lemmas for tree | commitdiff
2013-12-26 Ferruccio Guidithe theory of extended multiple substitution for therms... tree | commitdiff
2013-12-01 Ferruccio Guidicommit of the "substitution" component and of some... tree | commitdiff
2013-12-01 Ferruccio Guidi- improved arithmetics for natural numbers with infinity tree | commitdiff
2013-11-29 Ferruccio Guidiaddition for natural numbers with infinity tree | commitdiff
2013-11-28 Ferruccio Guididefinition of equivalence for local environments, tree | commitdiff
2013-11-27 Ferruccio Guidiweb page for ground_2 and bugfixed statistics generatio... tree | commitdiff
2013-11-27 Ferruccio Guidistrict order relation for natural numbers with inifinity tree | commitdiff
2013-11-26 Ferruccio Guidi- natural numbers with infinity for lambdadelta tree | commitdiff
2013-11-25 Ferruccio Guidi- xoa: the definitions file now includes the notations... tree | commitdiff
2013-11-01 Ferruccio Guidi- lambdadelta: first commutation property on lazy equiv... tree | commitdiff
2013-10-14 Ferruccio Guidistrongly normalizing terms for big-tree reduction are... tree | commitdiff
2013-10-04 Ferruccio Guidi- degree assignment, static type assignment, iterated... tree | commitdiff
2013-09-07 Ferruccio Guidisupport for nat-labeled reflexive and transitive closur... tree | commitdiff
2013-08-01 Ferruccio Guidipartial commit: just the components before "static... tree | commitdiff
2013-07-26 Ferruccio Guidilambdadelta tree | commitdiff
2013-07-20 Ferruccio Guidi- new extendedd beta-reductum involving native type... tree | commitdiff
2013-07-13 Ferruccio Guidipartial commit of the components before "conversion" tree | commitdiff
2013-05-05 Ferruccio Guidi- partial commit (just the components before computation) tree | commitdiff
2013-03-16 Ferruccio Guidi- lambdadelta: last recursive part of preservation... tree | commitdiff
2013-03-13 Ferruccio Guidi- lambdadelta: third recursive part of preservation... tree | commitdiff
2013-03-10 Ferruccio Guidi- improved Makefile esp. with the "trim" function tree | commitdiff
2013-03-09 Ferruccio Guidi- lenv refinement for stratified native validity redefined tree | commitdiff
2012-12-28 Ferruccio Guidixoa: change in naming convenctions for existential... tree | commitdiff
2012-12-25 Ferruccio Guidi- lambda_delta: programmed renaming to lambdadelta tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.