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

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

2011-12-25	Ferruccio Guidi	Basic 2 page update	commit \| commitdiff \| tree
2011-12-25	Ferruccio Guidi	- support for candidates of reducibility continues ...	commit \| commitdiff \| tree
2011-12-20	Ferruccio Guidi	Basic_2 update ...	commit \| commitdiff \| tree
2011-12-20	Ferruccio Guidi	- the definition of the framework for strong normalization...	commit \| commitdiff \| tree
2011-12-12	Ferruccio Guidi	- we improved and updated the generated web pages	commit \| commitdiff \| tree
2011-12-12	Ferruccio Guidi	nat library reorganized ....	commit \| commitdiff \| tree
2011-12-11	Ferruccio Guidi	- slicing relation for the global environment defined...	commit \| commitdiff \| tree
2011-12-08	Ferruccio Guidi	updating the information on lambda_delta	commit \| commitdiff \| tree
2011-12-08	Ferruccio Guidi	Maietty suggested to change a paragraph on the devel...	commit \| commitdiff \| tree
2011-12-08	Ferruccio Guidi	Maietti suggested to replace a paragraph about the...	commit \| commitdiff \| tree
2011-12-06	Ferruccio Guidi	new files started ...	commit \| commitdiff \| tree
2011-12-06	Ferruccio Guidi	other addition to the standard library removed	commit \| commitdiff \| tree
2011-12-06	Ferruccio Guidi	we added a definition and a couple of lemmas	commit \| commitdiff \| tree
2011-12-06	Ferruccio Guidi	- support for atomic arities and candidates of reducibility...	commit \| commitdiff \| tree
2011-11-26	Ferruccio Guidi	component "reducibility" updated to new syntax!	commit \| commitdiff \| tree
2011-11-26	Ferruccio Guidi	component "unfold" updated to new syntax ...	commit \| commitdiff \| tree
2011-11-26	Ferruccio Guidi	component "substitution" updated to new syntax ...	commit \| commitdiff \| tree
2011-11-26	Ferruccio Guidi	- "grammar" component updated to new syntax ...	commit \| commitdiff \| tree
2011-11-25	Ferruccio Guidi	Ground_2 ported to new syntax ...	commit \| commitdiff \| tree
2011-11-25	Ferruccio Guidi	bugfix in clearing the replaced variable: a relocation...	commit \| commitdiff \| tree
2011-11-24	Ferruccio Guidi	Destruct: we warn about the substituted variable to...	commit \| commitdiff \| tree
2011-11-24	Ferruccio Guidi	- now destruct tries to clear the replaced variables...	commit \| commitdiff \| tree
2011-11-21	Ferruccio Guidi	Basic_2 file names update	commit \| commitdiff \| tree
2011-11-18	Ferruccio Guidi	support for candidates of reducibility started ...	commit \| commitdiff \| tree
2011-11-16	Ferruccio Guidi	- lambda_delta: context-free weak head normal forms...	commit \| commitdiff \| tree
2011-11-16	Ferruccio Guidi	support for weak head normal forms started ...	commit \| commitdiff \| tree
2011-11-14	Ferruccio Guidi	file names and description update	commit \| commitdiff \| tree
2011-11-14	Ferruccio Guidi	- we proved that context-free reduction admits no one...	commit \| commitdiff \| tree
2011-11-05	Ferruccio Guidi	- file names update	commit \| commitdiff \| tree
2011-11-04	Ferruccio Guidi	- lib: one lemma about equality was missing	commit \| commitdiff \| tree
2011-11-04	Ferruccio Guidi	- two discrimination lemmas	commit \| commitdiff \| tree
2011-11-03	Ferruccio Guidi	- contex-free normal forms started	commit \| commitdiff \| tree
2011-10-26	Ferruccio Guidi	refactoring ...	commit \| commitdiff \| tree
2011-10-25	Ferruccio Guidi	-- some renaming in basic_2	commit \| commitdiff \| tree
2011-10-25	Ferruccio Guidi	old pr2_subst1 (Basic-1) closed!	commit \| commitdiff \| tree
2011-10-19	Ferruccio Guidi	- the relocation properties of cpr are closed!	commit \| commitdiff \| tree
2011-10-12	Ferruccio Guidi	theory of ltpss completed!	commit \| commitdiff \| tree
2011-10-11	Ferruccio Guidi	update ...	commit \| commitdiff \| tree
2011-10-11	Ferruccio Guidi	update ...	commit \| commitdiff \| tree
2011-10-11	Ferruccio Guidi	- cpr_lsubs_conf proved! (was pr2_change)	commit \| commitdiff \| tree
2011-10-11	Ferruccio Guidi	refactoring completed!	commit \| commitdiff \| tree
2011-10-10	Ferruccio Guidi	refactoring ...	commit \| commitdiff \| tree
2011-10-10	Ferruccio Guidi	refactoring ...	commit \| commitdiff \| tree
2011-10-10	Ferruccio Guidi	cpr_cast closed! (after a bugfix in the "destruct"...	commit \| commitdiff \| tree
2011-10-03	Ferruccio Guidi	news update	commit \| commitdiff \| tree
2011-10-03	Ferruccio Guidi	typos ...	commit \| commitdiff \| tree
2011-10-03	Ferruccio Guidi	- first version of xhtbl	commit \| commitdiff \| tree
2011-10-03	Ferruccio Guidi	- new stylesheets for xhtml pages (ld_web)	commit \| commitdiff \| tree
2011-10-02	Ferruccio Guidi	- xhtbl.css is ready!	commit \| commitdiff \| tree
2011-09-29	Ferruccio Guidi	still new colors ...	commit \| commitdiff \| tree
2011-09-29	Ferruccio Guidi	bugfix in one of the new colors :)	commit \| commitdiff \| tree
2011-09-29	Ferruccio Guidi	bugfix in remote update	commit \| commitdiff \| tree
2011-09-29	Ferruccio Guidi	new colors for the crux ...	commit \| commitdiff \| tree
2011-09-22	Ferruccio Guidi	- the confluence of context-senstitive parallel reduction...	commit \| commitdiff \| tree
2011-09-18	Ferruccio Guidi	some improvements about the partial unfold on terms...	commit \| commitdiff \| tree
2011-09-15	Ferruccio Guidi	unfold on terms completed!	commit \| commitdiff \| tree
2011-09-12	Ferruccio Guidi	remote update by make	commit \| commitdiff \| tree
2011-09-12	Ferruccio Guidi	added a pointer to helena in Wiedijk's list	commit \| commitdiff \| tree
2011-09-12	Ferruccio Guidi	update	commit \| commitdiff \| tree
2011-09-12	Ferruccio Guidi	bug fix in xslt: missing ld namespace	commit \| commitdiff \| tree
2011-09-12	Ferruccio Guidi	refactoring completed!	commit \| commitdiff \| tree
2011-09-11	Ferruccio Guidi	bug fix in the dtd	commit \| commitdiff \| tree
2011-09-11	Ferruccio Guidi	refactoring and regeneration of lddl	commit \| commitdiff \| tree
2011-09-11	Ferruccio Guidi	the refactoring continues ...	commit \| commitdiff \| tree
2011-09-11	Ferruccio Guidi	refactoring ...	commit \| commitdiff \| tree
2011-09-09	Ferruccio Guidi	- news update	commit \| commitdiff \| tree
2011-09-08	Ferruccio Guidi	- helm server url updated	commit \| commitdiff \| tree
2011-09-08	Ferruccio Guidi	initial commit of lambda_delta web site	commit \| commitdiff \| tree
2011-09-08	Ferruccio Guidi	- support for transitive closures started	commit \| commitdiff \| tree
2011-09-06	Ferruccio Guidi	- confluence of context-free reduction on terms (tpr...	commit \| commitdiff \| tree
2011-09-05	Ferruccio Guidi	- the substitution lemma is proved!	commit \| commitdiff \| tree
2011-09-02	Ferruccio Guidi	- the theory of parallel substitution of local environments...	commit \| commitdiff \| tree
2011-08-29	Ferruccio Guidi	- we shared the atomic term constructions	commit \| commitdiff \| tree
2011-08-27	Ferruccio Guidi	- the shift function is now defined and cpr_shift_fwd...	commit \| commitdiff \| tree
2011-08-25	Ferruccio Guidi	- weakening leq, we proved cpr_bind_dx	commit \| commitdiff \| tree
2011-08-24	Ferruccio Guidi	one reduction rule (tpr) was redundant	commit \| commitdiff \| tree
2011-08-23	Ferruccio Guidi	- confluence of parallel substitution (tps) closed...	commit \| commitdiff \| tree
2011-08-22	Ferruccio Guidi	we now use non-telescopic substitution in parallel...	commit \| commitdiff \| tree
2011-08-19	Ferruccio Guidi	- tentative definition of lcpr (contex-sensitive parallel...	commit \| commitdiff \| tree
2011-08-18	Ferruccio Guidi	the refactoring was not really complete	commit \| commitdiff \| tree
2011-08-18	Ferruccio Guidi	refactoring completed	commit \| commitdiff \| tree
2011-08-18	Ferruccio Guidi	- some refactoring	commit \| commitdiff \| tree
2011-08-18	Ferruccio Guidi	- matitaclean greatly improved but ...	commit \| commitdiff \| tree
2011-08-10	Ferruccio Guidi	refactoring completed!	commit \| commitdiff \| tree
2011-08-10	Ferruccio Guidi	the refactoring continues ...	commit \| commitdiff \| tree
2011-08-10	Ferruccio Guidi	the refactoring continues ...	commit \| commitdiff \| tree
2011-08-10	Ferruccio Guidi	lambda-delta must be a contrib	commit \| commitdiff \| tree
2011-08-10	Ferruccio Guidi	lambda-delta must be a contrib	commit \| commitdiff \| tree
2011-08-10	Ferruccio Guidi	some refactoring	commit \| commitdiff \| tree
2011-08-09	Ferruccio Guidi	confluence of parallel substitution (tps) started ...	commit \| commitdiff \| tree
2011-08-08	Ferruccio Guidi	- tps_tpr closed! (substitution is a reduction)	commit \| commitdiff \| tree
2011-08-07	Ferruccio Guidi	- cpr is now defined and the cpr_flat propery is proved...	commit \| commitdiff \| tree
2011-08-06	Ferruccio Guidi	- transitivity of parallel telescopic substitution...	commit \| commitdiff \| tree
2011-08-03	Ferruccio Guidi	the generation of the multiple conjunction is now supported!	commit \| commitdiff \| tree
2011-07-29	Ferruccio Guidi	confluence of tpr completed!	commit \| commitdiff \| tree
2011-07-28	Ferruccio Guidi	confluence: case 13 closed	commit \| commitdiff \| tree
2011-07-28	Ferruccio Guidi	xoa: new binary for the generation of multiple logical...	commit \| commitdiff \| tree
2011-07-27	Ferruccio Guidi	- xoa: bug fix and improvement	commit \| commitdiff \| tree
2011-07-26	Ferruccio Guidi	tpr: more inversion lemmas and a main property stated	commit \| commitdiff \| tree
2011-07-25	Ferruccio Guidi	lift_weight: bug fix	commit \| commitdiff \| tree
next

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

RSS Atom