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

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

2012-03-19	Ferruccio Guidi	- basics: bug fix in Conf3, it was not generic enough	commit \| commitdiff \| tree
2012-03-17	Ferruccio Guidi	update in basic_2 and apps_2	commit \| commitdiff \| tree
2012-03-17	Ferruccio Guidi	- basics: some support for abstract triangular confluence...	commit \| commitdiff \| tree
2012-03-15	Ferruccio Guidi	renaming completed	commit \| commitdiff \| tree
2012-03-15	Ferruccio Guidi	some renaming (ld_ prefix removed from file names)	commit \| commitdiff \| tree
2012-03-15	Ferruccio Guidi	some renaming: ld_ prefix removed	commit \| commitdiff \| tree
2012-03-15	Ferruccio Guidi	milestone update in basic_2!	commit \| commitdiff \| tree
2012-03-15	Ferruccio Guidi	- lambda_delta: strong normalization of simply typed...	commit \| commitdiff \| tree
2012-03-14	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2012-03-14	Ferruccio Guidi	property S2 of strongly normalizing terms proved!	commit \| commitdiff \| tree
2012-03-14	Ferruccio Guidi	- property S4 of strongly normalizing term proved!	commit \| commitdiff \| tree
2012-03-12	Ferruccio Guidi	- Properties S3 and S5 of context-sensitive strongly...	commit \| commitdiff \| tree
2012-03-11	Ferruccio Guidi	- context-sensitive computation: more properties	commit \| commitdiff \| tree
2012-03-10	Ferruccio Guidi	generated web pages update	commit \| commitdiff \| tree
2012-03-10	Ferruccio Guidi	- renaming completed!	commit \| commitdiff \| tree
2012-03-10	Ferruccio Guidi	We are decapitalizing the contributions' names ...	commit \| commitdiff \| tree
2012-03-09	Ferruccio Guidi	- update in Basic_2	commit \| commitdiff \| tree
2012-03-09	Ferruccio Guidi	- lambda_delta: morew propertie in context-sensitive...	commit \| commitdiff \| tree
2012-03-04	Ferruccio Guidi	- lambda_delta: "conversion" and "equivalence" components...	commit \| commitdiff \| tree
2012-03-01	Ferruccio Guidi	missing files in the former commit :(	commit \| commitdiff \| tree
2012-02-27	Ferruccio Guidi	some additions to Basic_2	commit \| commitdiff \| tree
2012-02-27	Ferruccio Guidi	- property S6 of stronfly normalizing terms proved	commit \| commitdiff \| tree
2012-02-24	Ferruccio Guidi	site update	commit \| commitdiff \| tree
2012-02-24	Ferruccio Guidi	- we added a web page (Apps_2) for the checked applications...	commit \| commitdiff \| tree
2012-02-24	Ferruccio Guidi	- "functional" component moved to Apps_2	commit \| commitdiff \| tree
2012-02-21	Ferruccio Guidi	- more properties on strongly normalizing terms ...	commit \| commitdiff \| tree
2012-02-21	Ferruccio Guidi	- site update	commit \| commitdiff \| tree
2012-02-20	Ferruccio Guidi	additions to Basic_2 ...	commit \| commitdiff \| tree
2012-02-20	Ferruccio Guidi	initial properies of the "same top term constructor...	commit \| commitdiff \| tree
2012-02-18	Ferruccio Guidi	more results on strongly normalizing terms	commit \| commitdiff \| tree
2012-02-14	Ferruccio Guidi	additions to Basic_2	commit \| commitdiff \| tree
2012-02-14	Ferruccio Guidi	- more properties on strongly normalizing terms	commit \| commitdiff \| tree
2012-02-11	Ferruccio Guidi	additions to Basic_2	commit \| commitdiff \| tree
2012-02-11	Ferruccio Guidi	- strong normalization of abbreviation proved	commit \| commitdiff \| tree
2012-02-09	Ferruccio Guidi	- design table for Basic_2	commit \| commitdiff \| tree
2012-02-09	Ferruccio Guidi	- first properties of strongly normalizing terms	commit \| commitdiff \| tree
2012-02-02	Ferruccio Guidi	- one file and three lemmas added to Basic 2	commit \| commitdiff \| tree
2012-02-02	Ferruccio Guidi	- three lemmas on context sensitive parallel reduction...	commit \| commitdiff \| tree
2012-02-01	Ferruccio Guidi	- notation fix for reducible and normal forms	commit \| commitdiff \| tree
2012-02-01	Ferruccio Guidi	the Basic_2 page was not regenerated ...	commit \| commitdiff \| tree
2012-02-01	Ferruccio Guidi	we added summary and timeline to the Basic_2 page	commit \| commitdiff \| tree
2012-01-29	Ferruccio Guidi	- transitivity of lenv refinement for atomic arity...	commit \| commitdiff \| tree
2012-01-29	Ferruccio Guidi	more files added to Basic_2	commit \| commitdiff \| tree
2012-01-27	Ferruccio Guidi	support for abstract candidates of reducibility closed...	commit \| commitdiff \| tree
2012-01-27	Ferruccio Guidi	more files added to Basic_2	commit \| commitdiff \| tree
2012-01-26	Ferruccio Guidi	- one file added to Basic_2	commit \| commitdiff \| tree
2012-01-26	Ferruccio Guidi	- main lemmas about abstract reducibility candidates...	commit \| commitdiff \| tree
2012-01-21	Ferruccio Guidi	big fixin the structure of Basic_2	commit \| commitdiff \| tree
2012-01-21	Ferruccio Guidi	more files to Basic_2	commit \| commitdiff \| tree
2012-01-21	Ferruccio Guidi	- main proof for strong normalization closed! ...	commit \| commitdiff \| tree
2012-01-19	Ferruccio Guidi	closure property S4 added to abstract candidates of...	commit \| commitdiff \| tree
2012-01-16	Ferruccio Guidi	the support for candidates of reducibility continues ...	commit \| commitdiff \| tree
2012-01-16	Ferruccio Guidi	some additionsand refactoring in Basic_2	commit \| commitdiff \| tree
2012-01-13	Ferruccio Guidi	more file names added to Basic_2	commit \| commitdiff \| tree
2012-01-13	Ferruccio Guidi	- the development of abstract reducibility candidates...	commit \| commitdiff \| tree
2012-01-10	Ferruccio Guidi	unpatched version for the new CamplP5	commit \| commitdiff \| tree
2012-01-10	Ferruccio Guidi	patched version for old CamlP5	commit \| commitdiff \| tree
2012-01-08	Ferruccio Guidi	more characters shortcuts	commit \| commitdiff \| tree
2012-01-08	Ferruccio Guidi	Basic_2: restyling and more notation	commit \| commitdiff \| tree
2012-01-08	Ferruccio Guidi	- notation restyling ...	commit \| commitdiff \| tree
2012-01-07	Ferruccio Guidi	Basic_2: - we addedsome files	commit \| commitdiff \| tree
2012-01-07	Ferruccio Guidi	lambda_delta: global environments handling: redefined...	commit \| commitdiff \| tree
2012-01-04	Ferruccio Guidi	the support for reducibility candidates evolves ,,,,	commit \| commitdiff \| tree
2011-12-26	Ferruccio Guidi	notation and dependences bug fix	commit \| commitdiff \| tree
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
next

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

RSS Atom