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

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

2017-06-02	Ferruccio Guidi	more results on binders ...	commit \| commitdiff \| tree
2017-05-25	Ferruccio Guidi	extension of a relation to binders	commit \| commitdiff \| tree
2017-05-17	Ferruccio Guidi	component utf8_macros fully renamed	commit \| commitdiff \| tree
2017-05-17	Ferruccio Guidi	component syntax_extensions was not declared	commit \| commitdiff \| tree
2017-05-03	Ferruccio Guidi	more notation for s-steps	commit \| commitdiff \| tree
2017-05-03	Ferruccio Guidi	notation for clear	commit \| commitdiff \| tree
2017-05-03	Ferruccio Guidi	notational change for lexs	commit \| commitdiff \| tree
2017-04-28	Ferruccio Guidi	one file was missing :(	commit \| commitdiff \| tree
2017-04-28	Ferruccio Guidi	- more background for the exclusion binder	commit \| commitdiff \| tree
2017-04-28	Ferruccio Guidi	refactoring completed	commit \| commitdiff \| tree
2017-04-27	Ferruccio Guidi	refactoring ...	commit \| commitdiff \| tree
2017-04-24	Ferruccio Guidi	some improvements before setting up the exclusion binder	commit \| commitdiff \| tree
2017-04-20	Ferruccio Guidi	- notation for the exclusion binder in local envirinments	commit \| commitdiff \| tree
2017-04-17	Ferruccio Guidi	- advances on lfpxs ...	commit \| commitdiff \| tree
2017-04-16	Ferruccio Guidi	milestone in basic_2	commit \| commitdiff \| tree
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
next

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

RSS Atom