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

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

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
2016-06-25	Ferruccio Guidi	totality of co-composition !	commit \| commitdiff \| tree
2016-06-24	Ferruccio Guidi	more notation for basic_1 ...	commit \| commitdiff \| tree
2016-06-22	Ferruccio Guidi	- matex: minor improvements	commit \| commitdiff \| tree
2016-06-20	Ferruccio Guidi	updating the dropable-related definitions with coafter ...	commit \| commitdiff \| tree
2016-06-20	Ferruccio Guidi	corrections to use less font packages (TeX was complaining)	commit \| commitdiff \| tree
2016-06-19	Ferruccio Guidi	- matex: minor corrections to handle applications with...	commit \| commitdiff \| tree
2016-06-13	Ferruccio Guidi	does_not_occur documented	commit \| commitdiff \| tree
2016-06-12	Ferruccio Guidi	- improved support for case	commit \| commitdiff \| tree
2016-06-09	Ferruccio Guidi	update in ground_2 and basic_2	commit \| commitdiff \| tree
2016-06-09	Ferruccio Guidi	frees_drops completed!	commit \| commitdiff \| tree
2016-06-06	Ferruccio Guidi	work in progress on frees_drops	commit \| commitdiff \| tree
2016-06-06	Ferruccio Guidi	MaTeX:	commit \| commitdiff \| tree
2016-06-01	Ferruccio Guidi	- source web pages for lambdadelta_1	commit \| commitdiff \| tree
2016-05-31	Ferruccio Guidi	- update in ground_2 and basic_2	commit \| commitdiff \| tree
2016-05-31	Ferruccio Guidi	frees_drops, initial versrion	commit \| commitdiff \| tree
2016-05-30	Ferruccio Guidi	some results on co-composition ...	commit \| commitdiff \| tree
2016-05-29	Ferruccio Guidi	more results on sor ...	commit \| commitdiff \| tree
2016-05-25	Ferruccio Guidi	initial support for lfpx_drops ...	commit \| commitdiff \| tree
2016-05-24	Ferruccio Guidi	more files missing :((	commit \| commitdiff \| tree
2016-05-24	Ferruccio Guidi	une file was missing :(	commit \| commitdiff \| tree
2016-05-24	Ferruccio Guidi	bug fixing ...	commit \| commitdiff \| tree
2016-05-24	Ferruccio Guidi	initial support for lfpx (replaces lpx and the parked...	commit \| commitdiff \| tree
2016-05-23	Ferruccio Guidi	initial support for LaTeX-defined notatopn	commit \| commitdiff \| tree
2016-05-22	Ferruccio Guidi	- support fof global alpha-conversion with hyperlinks	commit \| commitdiff \| tree
2016-05-22	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2016-05-22	Ferruccio Guidi	- notational change for cpg and cpx	commit \| commitdiff \| tree
2016-05-21	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2016-05-21	Ferruccio Guidi	- first results on cpx (dericed from those on cpg)	commit \| commitdiff \| tree
2016-05-19	Ferruccio Guidi	update in ground_2 and basic_2	commit \| commitdiff \| tree
2016-05-19	Ferruccio Guidi	bug fix in cpg allows to prove lsubr_cpg_trans	commit \| commitdiff \| tree
2016-05-18	Ferruccio Guidi	- ground_2: support for lifts_div4	commit \| commitdiff \| tree
2016-05-18	Ferruccio Guidi	news for matita 0.99.3	commit \| commitdiff \| tree
2016-05-18	Ferruccio Guidi	the source code of matita 0.99.3 is online	commit \| commitdiff \| tree
2016-05-18	Ferruccio Guidi	bugfix ind docbook code for the relise of matita 0...	commit \| commitdiff \| tree
2016-05-08	Ferruccio Guidi	some renaming and reordering of variables	commit \| commitdiff \| tree
2016-05-06	Ferruccio Guidi	pre commit for matita version 0.99.3	commit \| commitdiff \| tree
2016-04-30	Ferruccio Guidi	- matex: support for alpha-conversion completed	commit \| commitdiff \| tree
2016-04-27	Ferruccio Guidi	exportation of lambdadelta 1 with flavoured let recs	commit \| commitdiff \| tree
2016-04-22	Ferruccio Guidi	- partial commit of rt_transition ...	commit \| commitdiff \| tree
2016-04-18	Ferruccio Guidi	milestone in basic_2 ...	commit \| commitdiff \| tree
2016-04-18	Ferruccio Guidi	ground_2: generic rt-transition counter	commit \| commitdiff \| tree
2016-04-18	Ferruccio Guidi	As required by M. Maietti,	commit \| commitdiff \| tree
2016-04-16	Ferruccio Guidi	refactoring to park the notions:	commit \| commitdiff \| tree
2016-04-16	Ferruccio Guidi	universary milestone in basic_2	commit \| commitdiff \| tree
2016-04-16	Ferruccio Guidi	- former llpx_sn an lleq reactivated as lfxs and lfeq	commit \| commitdiff \| tree
2016-04-12	Ferruccio Guidi	- first working commit of the static component ..	commit \| commitdiff \| tree
2016-04-11	Ferruccio Guidi	- advances on drops	commit \| commitdiff \| tree
2016-04-08	Ferruccio Guidi	renaming ...	commit \| commitdiff \| tree
2016-04-08	Ferruccio Guidi	minor additions :)	commit \| commitdiff \| tree
2016-04-08	Ferruccio Guidi	update in ground_2 and basic_2	commit \| commitdiff \| tree
2016-04-08	Ferruccio Guidi	- commit of the "s_computation" component ...	commit \| commitdiff \| tree
2016-04-07	Ferruccio Guidi	the newly generated web pages ...	commit \| commitdiff \| tree
next

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

RSS Atom