matita.cs.unibo.it Git - helm.git/search

]> matita.cs.unibo.it Git - helm.git/search

2017-04-16	Ferruccio Guidi	- strong normalization for rt-comutation	commit \| commitdiff \| tree
2017-04-15	Ferruccio Guidi	lfsx_lfpxs completed!	commit \| commitdiff \| tree
2017-04-14	Ferruccio Guidi	- lfpxs based on tc_lfxs	commit \| commitdiff \| tree
2017-04-06	Ferruccio Guidi	advances on lfsx ...	commit \| commitdiff \| tree
2017-04-05	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree
2017-04-05	Ferruccio Guidi	- first prroperties on lfsx proved	commit \| commitdiff \| tree
2017-04-04	Ferruccio Guidi	advances non lfsx ...	commit \| commitdiff \| tree
2017-04-03	Ferruccio Guidi	- lfsx started ...	commit \| commitdiff \| tree
2017-04-01	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2017-04-01	Ferruccio Guidi	- strongly normalizing terms form a candidate of reducibility	commit \| commitdiff \| tree
2017-03-31	Ferruccio Guidi	we always update OCAMLPATH rather than leaving it unchanged...	commit \| commitdiff \| tree
2017-03-31	Ferruccio Guidi	removed unused timeout flag	commit \| commitdiff \| tree
2017-03-31	Ferruccio Guidi	removing extra spaces	commit \| commitdiff \| tree
2017-03-30	Ferruccio Guidi	- csx_cnx_vector.ma completed	commit \| commitdiff \| tree
2017-03-29	Ferruccio Guidi	csx_lfpx.ma completed!	commit \| commitdiff \| tree
2017-03-29	Ferruccio Guidi	- advances towards strong normalization	commit \| commitdiff \| tree
2017-03-21	Ferruccio Guidi	we finally understood what tsts is, :)	commit \| commitdiff \| tree
2017-03-17	Ferruccio Guidi	advances on csx towards strong normalization of rt...	commit \| commitdiff \| tree
2017-03-16	Ferruccio Guidi	nilestone in basic_2 !	commit \| commitdiff \| tree
2017-03-16	Ferruccio Guidi	component rt_transition completed!	commit \| commitdiff \| tree
2017-03-16	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2017-03-16	Ferruccio Guidi	- more commutations with superclosure: fpb_lfdeq	commit \| commitdiff \| tree
2017-03-14	Ferruccio Guidi	- fpbq	commit \| commitdiff \| tree
2017-03-14	Ferruccio Guidi	- cpxs_tsts_vector completed	commit \| commitdiff \| tree
2017-03-13	Ferruccio Guidi	cpx_tsts completed	commit \| commitdiff \| tree
2017-03-13	Ferruccio Guidi	- tdeq must imply tsts	commit \| commitdiff \| tree
2017-03-11	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2017-03-11	Ferruccio Guidi	main part of lfpxs_cpxs ...	commit \| commitdiff \| tree
2017-03-09	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2017-03-09	Ferruccio Guidi	cpxs_drops completed	commit \| commitdiff \| tree
2017-03-08	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2017-03-08	Ferruccio Guidi	cpxs_lfpx completed	commit \| commitdiff \| tree
2017-03-06	Ferruccio Guidi	update in basic_2 and apps_2	commit \| commitdiff \| tree
2017-03-06	Ferruccio Guidi	- advances on lfxs for lfpxs	commit \| commitdiff \| tree
2017-03-05	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2017-03-05	Ferruccio Guidi	advances on cpxs and cnx (cnxa removed) ,,,	commit \| commitdiff \| tree
2017-03-02	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2017-03-02	Ferruccio Guidi	- advances on csx	commit \| commitdiff \| tree
2017-02-27	Ferruccio Guidi	- initial support for sigma-types	commit \| commitdiff \| tree
2017-02-20	Ferruccio Guidi	csx on the way ...	commit \| commitdiff \| tree
2017-02-19	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2017-02-19	Ferruccio Guidi	- advances on cnx	commit \| commitdiff \| tree
2017-02-19	Ferruccio Guidi	- one annotation added	commit \| commitdiff \| tree
2017-02-19	Ferruccio Guidi	milestone in basic_2	commit \| commitdiff \| tree
2017-02-19	Ferruccio Guidi	support for generic reducibility ...	commit \| commitdiff \| tree
2017-02-19	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2017-02-16	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree
2017-02-16	Ferruccio Guidi	- cprs and cnx on the way	commit \| commitdiff \| tree
2017-02-01	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree
2017-02-01	Ferruccio Guidi	- advances in rt_transition	commit \| commitdiff \| tree
2017-01-30	Ferruccio Guidi	- comparative table of the core objects started ...	commit \| commitdiff \| tree
2017-01-26	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree
2017-01-26	Ferruccio Guidi	- some commutations between the rt-steps and the s...	commit \| commitdiff \| tree
2017-01-24	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2017-01-24	Ferruccio Guidi	- updated equivalence on referred entries: it nust...	commit \| commitdiff \| tree
2017-01-22	Ferruccio Guidi	- degree-based equivalene for terms	commit \| commitdiff \| tree
2017-01-22	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree
2017-01-21	Ferruccio Guidi	update in basic_2 and ground_2 ...	commit \| commitdiff \| tree
2017-01-21	Ferruccio Guidi	- improved fqu allows to prove fqu_cpx_trans and its...	commit \| commitdiff \| tree
2017-01-19	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree
2017-01-19	Ferruccio Guidi	- preservation of arity assignment	commit \| commitdiff \| tree
2017-01-18	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree
2017-01-18	Ferruccio Guidi	- improved lfpr_lfpr	commit \| commitdiff \| tree
2017-01-17	Ferruccio Guidi	milestone in basic_2!	commit \| commitdiff \| tree
2017-01-17	Ferruccio Guidi	lfpx_frees and confluence of lfpr!	commit \| commitdiff \| tree
2017-01-17	Ferruccio Guidi	previous lemma proved ...	commit \| commitdiff \| tree
2017-01-17	Ferruccio Guidi	improved lsubf allowes to prove lsubf_frees_trans.	commit \| commitdiff \| tree
2017-01-16	Ferruccio Guidi	update in ground_2 and basic_2 ...	commit \| commitdiff \| tree
2017-01-16	Ferruccio Guidi	advances towards confluence of reduction in local environmen...	commit \| commitdiff \| tree
2016-11-24	Ferruccio Guidi	lexer updated with the new reference syntax +	commit \| commitdiff \| tree
2016-11-23	Ferruccio Guidi	a linearized reference was still present ...	commit \| commitdiff \| tree
2016-11-23	Ferruccio Guidi	1) hard coded linearized references removed	commit \| commitdiff \| tree
2016-10-03	Ferruccio Guidi	- basic_2 : restricted refinement for free variables...	commit \| commitdiff \| tree
2016-09-29	Ferruccio Guidi	more on lfpx_frees.ma ...	commit \| commitdiff \| tree
2016-09-26	Ferruccio Guidi	- reconstruction of lfpx_frees.ma begins ...	commit \| commitdiff \| tree
2016-09-23	Ferruccio Guidi	improved lexs_conf, now holds under weaker hypotheses ...	commit \| commitdiff \| tree
2016-09-22	Ferruccio Guidi	update in ground_2 and basic_2 ...	commit \| commitdiff \| tree
2016-09-22	Ferruccio Guidi	basic_2: stronger supclosure allows better inversion...	commit \| commitdiff \| tree
2016-09-19	Ferruccio Guidi	some improvements towards the confluence of lfpr ...	commit \| commitdiff \| tree
2016-09-15	Ferruccio Guidi	milestone in basic_2!	commit \| commitdiff \| tree
2016-09-15	Ferruccio Guidi	one file was missing :(	commit \| commitdiff \| tree
2016-09-15	Ferruccio Guidi	diamond property of reduction!	commit \| commitdiff \| tree
2016-09-14	Ferruccio Guidi	first results on lfpr as a base for the diamond property ...	commit \| commitdiff \| tree
2016-09-13	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree
2016-09-13	Ferruccio Guidi	more results on cpm ...	commit \| commitdiff \| tree
2016-09-05	Ferruccio Guidi	one more paper citing \lambda\delta	commit \| commitdiff \| tree
2016-07-26	Ferruccio Guidi	update in ground_2 and basic_2	commit \| commitdiff \| tree
2016-07-26	Ferruccio Guidi	bug fix in the context reduction rule for cast (cpm)	commit \| commitdiff \| tree
2016-07-25	Ferruccio Guidi	we count rt parallel steps in a different way:	commit \| commitdiff \| tree
2016-07-22	Ferruccio Guidi	xhtml simplified	commit \| commitdiff \| tree
2016-07-22	Ferruccio Guidi	more corrections to xhtml	commit \| commitdiff \| tree
2016-07-22	Ferruccio Guidi	corrected xhtml	commit \| commitdiff \| tree
2016-07-22	Ferruccio Guidi	site update	commit \| commitdiff \| tree
2016-07-21	Ferruccio Guidi	- initial page for osn ...	commit \| commitdiff \| tree
2016-07-04	Ferruccio Guidi	basic properties of cpr ...	commit \| commitdiff \| tree
2016-07-04	Ferruccio Guidi	- matex: notational macros for 0-ary constants	commit \| commitdiff \| tree
2016-07-03	Ferruccio Guidi	- matex: we separate axioms (propositions) and assumptions...	commit \| commitdiff \| tree
2016-07-01	Ferruccio Guidi	first definition of cpm:	commit \| commitdiff \| tree
2016-06-27	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree
2016-06-27	Ferruccio Guidi	lfpx_drops completed!	commit \| commitdiff \| tree
next

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

RSS Atom