matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/basic_2/web/basic_2

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / web / basic_2_src.tbl

2017-02-01	Ferruccio Guidi	- advances in rt_transition	blob \| commitdiff \| raw
2017-01-26	Ferruccio Guidi	- some commutations between the rt-steps and the s...	blob \| commitdiff \| raw \| diff to current
2017-01-24	Ferruccio Guidi	- updated equivalence on referred entries: it nust...	blob \| commitdiff \| raw \| diff to current
2017-01-22	Ferruccio Guidi	- degree-based equivalene for terms	blob \| commitdiff \| raw \| diff to current
2017-01-21	Ferruccio Guidi	- improved fqu allows to prove fqu_cpx_trans and its...	blob \| commitdiff \| raw \| diff to current
2017-01-19	Ferruccio Guidi	- preservation of arity assignment	blob \| commitdiff \| raw \| diff to current
2017-01-18	Ferruccio Guidi	- improved lfpr_lfpr	blob \| commitdiff \| raw \| diff to current
2017-01-17	Ferruccio Guidi	lfpx_frees and confluence of lfpr!	blob \| commitdiff \| raw \| diff to current
2017-01-16	Ferruccio Guidi	advances towards confluence of reduction in local envir...	blob \| commitdiff \| raw \| diff to current
2016-09-22	Ferruccio Guidi	basic_2: stronger supclosure allows better inversion...	blob \| commitdiff \| raw \| diff to current
2016-09-15	Ferruccio Guidi	diamond property of reduction!	blob \| commitdiff \| raw \| diff to current
2016-09-14	Ferruccio Guidi	first results on lfpr as a base for the diamond propert...	blob \| commitdiff \| raw \| diff to current
2016-09-13	Ferruccio Guidi	more results on cpm ...	blob \| commitdiff \| raw \| diff to current
2016-06-27	Ferruccio Guidi	lfpx_drops completed!	blob \| commitdiff \| raw \| diff to current
2016-05-31	Ferruccio Guidi	frees_drops, initial versrion	blob \| commitdiff \| raw \| diff to current
2016-05-24	Ferruccio Guidi	initial support for lfpx (replaces lpx and the parked...	blob \| commitdiff \| raw \| diff to current
2016-05-22	Ferruccio Guidi	- notational change for cpg and cpx	blob \| commitdiff \| raw \| diff to current
2016-05-21	Ferruccio Guidi	- first results on cpx (dericed from those on cpg)	blob \| commitdiff \| raw \| diff to current
2016-05-19	Ferruccio Guidi	bug fix in cpg allows to prove lsubr_cpg_trans	blob \| commitdiff \| raw \| diff to current
2016-04-16	Ferruccio Guidi	- former llpx_sn an lleq reactivated as lfxs and lfeq	blob \| commitdiff \| raw \| diff to current
2016-04-12	Ferruccio Guidi	- first working commit of the static component ..	blob \| commitdiff \| raw \| diff to current
2016-04-08	Ferruccio Guidi	- commit of the "s_computation" component ...	blob \| commitdiff \| raw \| diff to current
2016-04-01	Ferruccio Guidi	- new component "s_transition" for the restored fqu...	blob \| commitdiff \| raw \| diff to current
2016-03-27	Ferruccio Guidi	- minor corrections	blob \| commitdiff \| raw \| diff to current
2015-01-18	Ferruccio Guidi	- we add an informational page on \lambda\delta version...	blob \| commitdiff \| raw \| diff to current
2014-10-26	Ferruccio Guidi	- some renaming according to the written version of...	blob \| commitdiff \| raw \| diff to current
2014-10-19	Ferruccio Guidi	- grafiteParser: we added the comand "defined" as a...	blob \| commitdiff \| raw \| diff to current
2014-10-08	Ferruccio Guidi	- some consequences of preservation added	blob \| commitdiff \| raw \| diff to current
2014-10-05	Ferruccio Guidi	catched typecheker failures in auto allow more applicat...	blob \| commitdiff \| raw \| diff to current
2014-10-04	Ferruccio Guidi	the commit was incomplete (as is often the case :( )	blob \| commitdiff \| raw \| diff to current
2014-10-02	Ferruccio Guidi	- fpbg can be reflexive (example given)	blob \| commitdiff \| raw \| diff to current
2014-09-30	Ferruccio Guidi	notation update for pointwise union	blob \| commitdiff \| raw \| diff to current
2014-09-15	Ferruccio Guidi	notational change of lift, drop, and gget	blob \| commitdiff \| raw \| diff to current
2014-09-12	Ferruccio Guidi	bug fix in ththe notation for lists:	blob \| commitdiff \| raw \| diff to current
2014-09-10	Ferruccio Guidi	added an example on lstas showing a difference with...	blob \| commitdiff \| raw \| diff to current
2014-09-10	Ferruccio Guidi	commit completed! the new iterated static type assignme...	blob \| commitdiff \| raw \| diff to current
2014-08-10	Ferruccio Guidi	some renaming and a minor addition	blob \| commitdiff \| raw \| diff to current
2014-08-07	Ferruccio Guidi	- bugfixed "aacr" allows to remove historical eta-conve...	blob \| commitdiff \| raw \| diff to current
2014-08-06	Ferruccio Guidi	- some renaming and minor updates	blob \| commitdiff \| raw \| diff to current
2014-08-05	Ferruccio Guidi	bugfix in source table :(	blob \| commitdiff \| raw \| diff to current
2014-08-05	Ferruccio Guidi	- basic_2: reaxiomatized snv with improved cpds and...	blob \| commitdiff \| raw \| diff to current
2014-07-14	Ferruccio Guidi	some renaming and some typos corrected ...	blob \| commitdiff \| raw \| diff to current
2014-07-05	Ferruccio Guidi	improved example: Delta must be a family of terms	blob \| commitdiff \| raw \| diff to current
2014-07-04	Ferruccio Guidi	conjecture on antisymmetry of cpr finally closed	blob \| commitdiff \| raw \| diff to current
2014-06-29	Ferruccio Guidi	- wrong version of drop was used in four places	blob \| commitdiff \| raw \| diff to current
2014-06-28	Ferruccio Guidi	- ldrop is now drop as in basic_1	blob \| commitdiff \| raw \| diff to current
2014-06-18	Ferruccio Guidi	milestone connit for preservation:	blob \| commitdiff \| raw \| diff to current
2014-06-15	Ferruccio Guidi	- we introduce stratified term equivalence to remove...	blob \| commitdiff \| raw \| diff to current
2014-06-14	Ferruccio Guidi	reorganization of the "static" component:	blob \| commitdiff \| raw \| diff to current
2014-06-10	Ferruccio Guidi	preservation of stratified vaildity through ordinary...	blob \| commitdiff \| raw \| diff to current
2014-06-09	Ferruccio Guidi	advances on append allow to complete the long awaited...	blob \| commitdiff \| raw \| diff to current
2014-06-08	Ferruccio Guidi	- some work on append	blob \| commitdiff \| raw \| diff to current
2014-06-07	Ferruccio Guidi	source table bugfixed	blob \| commitdiff \| raw \| diff to current
2014-06-07	Ferruccio Guidi	- advances on free variables allow to reduce lleq_lpx_t...	blob \| commitdiff \| raw \| diff to current
2014-06-01	Ferruccio Guidi	- some refactoring and minor additions	blob \| commitdiff \| raw \| diff to current
2014-06-01	Ferruccio Guidi	- advances on hereditarily free variables: now "frees...	blob \| commitdiff \| raw \| diff to current
2014-05-26	Ferruccio Guidi	new definition of llor gives a long awaited lemma :),	blob \| commitdiff \| raw \| diff to current
2014-05-25	Ferruccio Guidi	- theory of llor now includes (long awaited) non-recurs...	blob \| commitdiff \| raw \| diff to current
2014-05-24	Ferruccio Guidi	non-recursive alternative of llpx_sn completed !	blob \| commitdiff \| raw \| diff to current
2014-05-23	Ferruccio Guidi	advances on cofrees allows to prove one direction of	blob \| commitdiff \| raw \| diff to current
2014-04-25	Ferruccio Guidi	- advances in the theory of cofrees	blob \| commitdiff \| raw \| diff to current
2014-04-20	Ferruccio Guidi	- name changes in the rediction rules	blob \| commitdiff \| raw \| diff to current
2014-04-18	Ferruccio Guidi	- the relation for pointwise extensions now takes a...	blob \| commitdiff \| raw \| diff to current
2014-04-15	Ferruccio Guidi	- lazy extended reduction parked	blob \| commitdiff \| raw \| diff to current
2014-04-13	Ferruccio Guidi	we restored the strong normalization of extended comput...	blob \| commitdiff \| raw \| diff to current
2014-04-10	Ferruccio Guidi	- some work on extensions:	blob \| commitdiff \| raw \| diff to current
2014-04-08	Ferruccio Guidi	some advances on pointwise union for local environments ...	blob \| commitdiff \| raw \| diff to current
2014-04-07	Ferruccio Guidi	some resuls on pointwise extensions (all of them are...	blob \| commitdiff \| raw \| diff to current
2014-04-05	Ferruccio Guidi	commit completed:	blob \| commitdiff \| raw \| diff to current
2014-03-20	Ferruccio Guidi	continuing on lazy pointwise extensions ...	blob \| commitdiff \| raw \| diff to current
2014-03-19	Ferruccio Guidi	we begin to develop lazy pointwisee extensions ...	blob \| commitdiff \| raw \| diff to current
2014-03-11	Ferruccio Guidi	reaxiomatized lleq fixes a bug in it and allows to...	blob \| commitdiff \| raw \| diff to current
2014-03-08	Ferruccio Guidi	we define the lazy poinwise extension of a relation...	blob \| commitdiff \| raw \| diff to current
2014-02-28	Ferruccio Guidi	- some corrections and additions	blob \| commitdiff \| raw \| diff to current
2014-02-24	Ferruccio Guidi	- we bypassed another false conjecture :) ...	blob \| commitdiff \| raw \| diff to current
2014-02-22	Ferruccio Guidi	a wrong conjecture bypassed!	blob \| commitdiff \| raw \| diff to current
2014-02-21	Ferruccio Guidi	- main proposition on lsx finally proved!	blob \| commitdiff \| raw \| diff to current
2014-02-18	Ferruccio Guidi	- a reinforement in a lemma on ldrop allows to prove...	blob \| commitdiff \| raw \| diff to current
2014-02-16	Ferruccio Guidi	- improved definition of lsx allows more invariants	blob \| commitdiff \| raw \| diff to current
2014-02-11	Ferruccio Guidi	some advances on reduction	blob \| commitdiff \| raw \| diff to current
2014-02-04	Ferruccio Guidi	evaluation for context-sensitive extended substitution...	blob \| commitdiff \| raw \| diff to current
2014-02-03	Ferruccio Guidi	we start total substitution ...	blob \| commitdiff \| raw \| diff to current
2014-01-30	Ferruccio Guidi	normal forms for extended substitution	blob \| commitdiff \| raw \| diff to current
2014-01-29	Ferruccio Guidi	bug fix in the notation of normal forms, now we specify...	blob \| commitdiff \| raw \| diff to current
2014-01-18	Ferruccio Guidi	- commit of the "reduction" component with two addition...	blob \| commitdiff \| raw \| diff to current
2014-01-17	Ferruccio Guidi	- commit of the "substitution" component	blob \| commitdiff \| raw \| diff to current
2014-01-16	Ferruccio Guidi	commit of the "relocation" component with the new defin...	blob \| commitdiff \| raw \| diff to current
2014-01-15	Ferruccio Guidi	we start a criterion on extended computation	blob \| commitdiff \| raw \| diff to current
2014-01-13	Ferruccio Guidi	some improvements on the relation lsx ...	blob \| commitdiff \| raw \| diff to current
2014-01-10	Ferruccio Guidi	new definition of lleq allows to complete the proof...	blob \| commitdiff \| raw \| diff to current
2014-01-05	Ferruccio Guidi	- new definition of lazy equivalence for local environm...	blob \| commitdiff \| raw \| diff to current
2013-12-26	Ferruccio Guidi	the theory of extended multiple substitution for therms...	blob \| commitdiff \| raw \| diff to current
2013-12-17	Ferruccio Guidi	refinement for extended substitution completed	blob \| commitdiff \| raw \| diff to current
2013-12-16	Ferruccio Guidi	- lsubr moved down one component	blob \| commitdiff \| raw \| diff to current
2013-12-15	Ferruccio Guidi	eliminators of arited terms based on "big tree" proper...	blob \| commitdiff \| raw \| diff to current
2013-12-14	Ferruccio Guidi	- "big tree" theorem is now proved up to some conjectur...	blob \| commitdiff \| raw \| diff to current
2013-12-09	Ferruccio Guidi	- first results on strongly normalizing local environments	blob \| commitdiff \| raw \| diff to current
2013-12-06	Ferruccio Guidi	partial commit ...	blob \| commitdiff \| raw \| diff to current
2013-12-04	Ferruccio Guidi	third commutation property on lazy equivalence for	blob \| commitdiff \| raw \| diff to current
2013-12-04	Ferruccio Guidi	first and second commutation property on lazy equivalen...	blob \| commitdiff \| raw \| diff to current
next

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

RSS Atom