]> 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
ground_2 milestone: multiple relocation with lists of booleans
[helm.git] / matita / matita / contribs / lambdadelta / ground_2 /
2015-10-11 Ferruccio Guidiground_2 milestone: multiple relocation with lists... tree | commitdiff
2015-07-14 Ferruccio Guidi- subtraction (and related notions) removed tree | commitdiff
2015-03-25 Ferruccio Guidi- revision of ground_2 and basic_2 tree | commitdiff
2015-01-22 Ferruccio Guidiinformational page on ground_1 tree | commitdiff
2015-01-18 Ferruccio Guidi- we add an informational page on \lambda\delta version... tree | commitdiff
2014-10-28 Ferruccio Guidi\lambda\delta version 2A released on Web site tree | commitdiff
2014-10-26 Ferruccio Guidi- some renaming according to the written version of... tree | commitdiff
2014-09-12 Ferruccio Guidibug fix in ththe notation for lists: tree | commitdiff
2014-09-03 Ferruccio Guidi- the PARTIAL COMMIT continues, we issue the "reduction... tree | commitdiff
2014-08-07 Ferruccio Guidi- bugfixed "aacr" allows to remove historical eta-conve... tree | commitdiff
2014-08-05 Ferruccio Guidi- basic_2: reaxiomatized snv with improved cpds and... tree | commitdiff
2014-07-18 Ferruccio Guidi- irreflexivity of static type assignment iterated... tree | commitdiff
2014-07-14 Ferruccio Guidisome renaming and some typos corrected ... tree | commitdiff
2014-06-29 Ferruccio Guidi- wrong version of drop was used in four places tree | commitdiff
2014-06-19 Ferruccio Guidi- some pending conjectures closed in basic_2 and ground_2 tree | commitdiff
2014-06-09 Ferruccio Guidiadvances on append allow to complete the long awaited... tree | commitdiff
2014-06-01 Ferruccio Guidi- some refactoring and minor additions tree | commitdiff
2014-05-25 Ferruccio Guidi- theory of llor now includes (long awaited) non-recurs... tree | commitdiff
2014-05-23 Ferruccio Guidiadvances on cofrees allows to prove one direction of tree | commitdiff
2014-05-11 Ferruccio Guidiadvances on ldrop .... tree | commitdiff
2014-03-30 Ferruccio Guidiupdate of the partial commit: tree | commitdiff
2014-03-25 Ferruccio Guidi- partial commit: just the components below "computation" tree | commitdiff
2014-03-10 Ferruccio Guidisome additions ... tree | commitdiff
2014-03-08 Ferruccio Guidisome corrections ... tree | commitdiff
2014-02-24 Ferruccio Guidi- we bypassed another false conjecture :) ... tree | commitdiff
2014-02-22 Ferruccio Guidiaddition of unused material :) tree | commitdiff
2014-02-22 Ferruccio Guidia wrong conjecture bypassed! tree | commitdiff
2014-02-21 Ferruccio Guidi- main proposition on lsx finally proved! tree | commitdiff
2014-02-11 Ferruccio Guidisome advances on reduction tree | commitdiff
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.