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

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

2013-04-07	Ferruccio Guidi	- new component for restricted computation (delta,...	commit \| commitdiff \| tree
2013-04-05	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-04-05	Ferruccio Guidi	- parallel substitution reaxiomatized	commit \| commitdiff \| tree
2013-03-20	Ferruccio Guidi	- probe: recursive removal of empty directories	commit \| commitdiff \| tree
2013-03-18	Ferruccio Guidi	missing or rootless dependences now don't break the...	commit \| commitdiff \| tree
2013-03-18	Ferruccio Guidi	some additions	commit \| commitdiff \| tree
2013-03-18	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-03-18	Ferruccio Guidi	a file was added by mistake	commit \| commitdiff \| tree
2013-03-18	Ferruccio Guidi	- more understanding of the "big tree" reduction step	commit \| commitdiff \| tree
2013-03-17	Ferruccio Guidi	sfr renamed as lbotr and its symbol changed according...	commit \| commitdiff \| tree
2013-03-17	Ferruccio Guidi	notational change for lsubr:	commit \| commitdiff \| tree
2013-03-17	Ferruccio Guidi	lsubs renamed as lsubr	commit \| commitdiff \| tree
2013-03-17	Ferruccio Guidi	notational change for snv and lsubsv: inverted "!"...	commit \| commitdiff \| tree
2013-03-16	Ferruccio Guidi	milestone in basic_2!	commit \| commitdiff \| tree
2013-03-16	Ferruccio Guidi	- lambdadelta: last recursive part of preservation...	commit \| commitdiff \| tree
2013-03-14	Ferruccio Guidi	this is the real update :)	commit \| commitdiff \| tree
2013-03-14	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-03-14	Ferruccio Guidi	- main proof case closed in the 4th component of preservation	commit \| commitdiff \| tree
2013-03-13	Ferruccio Guidi	- lambdadelta: third recursive part of preservation...	commit \| commitdiff \| tree
2013-03-11	Ferruccio Guidi	more results on lenv refinement for stratified native...	commit \| commitdiff \| tree
2013-03-11	Ferruccio Guidi	bugfix in web tables	commit \| commitdiff \| tree
2013-03-11	Ferruccio Guidi	some bugs fixed	commit \| commitdiff \| tree
2013-03-11	Ferruccio Guidi	- xslt and Makefile improved, web pages regenerated	commit \| commitdiff \| tree
2013-03-10	Ferruccio Guidi	- improved Makefile esp. with the "trim" function	commit \| commitdiff \| tree
2013-03-10	Ferruccio Guidi	we removed a useless assertion that was forcing matita...	commit \| commitdiff \| tree
2013-03-09	Ferruccio Guidi	- update in basic_2	commit \| commitdiff \| tree
2013-03-09	Ferruccio Guidi	basic_2_src.tbl was not updated :(	commit \| commitdiff \| tree
2013-03-09	Ferruccio Guidi	- lenv refinement for stratified native validity redefined	commit \| commitdiff \| tree
2013-03-08	Ferruccio Guidi	second recursive part of preservation finally proved!	commit \| commitdiff \| tree
2013-03-08	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-03-08	Ferruccio Guidi	improved "big treee" computation allows to close a...	commit \| commitdiff \| tree
2013-03-03	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-03-03	Ferruccio Guidi	- lambdadelta: we removed focalized reduction from...	commit \| commitdiff \| tree
2013-02-28	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-02-28	Ferruccio Guidi	- lambdadelta: first recursive part of preservation...	commit \| commitdiff \| tree
2013-02-25	Ferruccio Guidi	when we serialize the contents of a .ma, we remove...	commit \| commitdiff \| tree
2013-02-24	Ferruccio Guidi	- xhtbl: now double quotes can appear in string literals	commit \| commitdiff \| tree
2013-02-24	Ferruccio Guidi	- nUri : added Sets of uris for use in "probe"	commit \| commitdiff \| tree
2013-02-22	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-02-22	Ferruccio Guidi	- "big tree" order implemented	commit \| commitdiff \| tree
2013-02-18	Ferruccio Guidi	trace added in a failing invocation of auto :-(	commit \| commitdiff \| tree
2013-02-18	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-02-18	Ferruccio Guidi	substitution lemma for stratified native validity!	commit \| commitdiff \| tree
2013-02-15	Ferruccio Guidi	update in basic_2 summary	commit \| commitdiff \| tree
2013-02-15	Ferruccio Guidi	we rephrased sstas in terms of star	commit \| commitdiff \| tree
2013-02-15	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-02-15	Ferruccio Guidi	we reformulate the extended computation to simplify...	commit \| commitdiff \| tree
2013-02-13	Ferruccio Guidi	statistics update in basic_2	commit \| commitdiff \| tree
2013-02-13	Ferruccio Guidi	- first piece of the mutual induction for preservation...	commit \| commitdiff \| tree
2013-02-11	Ferruccio Guidi	an update in basic_2	commit \| commitdiff \| tree
2013-02-11	Ferruccio Guidi	more service lemmas in nat and lambdadelta	commit \| commitdiff \| tree
2013-02-07	Ferruccio Guidi	one table was nissing ...	commit \| commitdiff \| tree
2013-02-07	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-02-07	Ferruccio Guidi	even more service lemmas ...	commit \| commitdiff \| tree
2013-02-06	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-02-06	Ferruccio Guidi	- lambdadelta: more service lemmas ...	commit \| commitdiff \| tree
2013-02-05	Ferruccio Guidi	some missing files ...	commit \| commitdiff \| tree
2013-02-01	Ferruccio Guidi	- Now the nodes count does not include the generated...	commit \| commitdiff \| tree
2013-02-01	Ferruccio Guidi	lambda finaly moved in lib	commit \| commitdiff \| tree
2013-02-01	Ferruccio Guidi	- ng_refiner:	commit \| commitdiff \| tree
2013-01-28	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2013-01-28	Ferruccio Guidi	- notation change for weight functions (following lambda)	commit \| commitdiff \| tree
2013-01-25	Ferruccio Guidi	- paths and left residuals: forth case of the equivalence...	commit \| commitdiff \| tree
2013-01-23	Ferruccio Guidi	- paths and left residuals: third case of the equivalence...	commit \| commitdiff \| tree
2013-01-18	Ferruccio Guidi	- paths and left residuals: second case of the equivalence...	commit \| commitdiff \| tree
2013-01-16	Ferruccio Guidi	- paths and left residuals: first case of the equivalence...	commit \| commitdiff \| tree
2013-01-15	Ferruccio Guidi	- some additions and renaming ...	commit \| commitdiff \| tree
2013-01-15	Ferruccio Guidi	- a few more lemmas ...	commit \| commitdiff \| tree
2013-01-13	Ferruccio Guidi	standardization: equivalence between paths and left...	commit \| commitdiff \| tree
2013-01-06	Ferruccio Guidi	dependences update	commit \| commitdiff \| tree
2013-01-06	Ferruccio Guidi	refactoring ...	commit \| commitdiff \| tree
2013-01-02	Ferruccio Guidi	lambda: some refactoring + support for subsets of subterms...	commit \| commitdiff \| tree
2013-01-01	Ferruccio Guidi	- probe: new application to compute some data on the...	commit \| commitdiff \| tree
2012-12-30	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2012-12-30	Ferruccio Guidi	commit completed! some bugs fixed and some instances...	commit \| commitdiff \| tree
2012-12-28	Ferruccio Guidi	xoa: change in naming convenctions for existential...	commit \| commitdiff \| tree
2012-12-25	Ferruccio Guidi	- lambda_delta: programmed renaming to lambdadelta	commit \| commitdiff \| tree
2012-12-23	Ferruccio Guidi	- we introduced the pointer_step rc in the perspective...	commit \| commitdiff \| tree
2012-12-21	Ferruccio Guidi	some renaming ...	commit \| commitdiff \| tree
2012-12-21	Ferruccio Guidi	one file was missing .... :(	commit \| commitdiff \| tree
2012-12-20	Ferruccio Guidi	- nat.ma: cut removed from f_ind :)	commit \| commitdiff \| tree
2012-12-19	Ferruccio Guidi	reordering and corrections	commit \| commitdiff \| tree
2012-12-19	Ferruccio Guidi	we simplified our proof of standardization	commit \| commitdiff \| tree
2012-12-18	Ferruccio Guidi	- star.ma: strip lemma and confluence of star	commit \| commitdiff \| tree
2012-12-17	Ferruccio Guidi	- lambda: some parts commented out, some refactoring	commit \| commitdiff \| tree
2012-12-13	Ferruccio Guidi	- we added delimiters to the URL in lambdadelta1	commit \| commitdiff \| tree
2012-12-12	Ferruccio Guidi	- bib refactoring	commit \| commitdiff \| tree
2012-12-12	Ferruccio Guidi	lambdadelta1 is now dated with release date of \lambda...	commit \| commitdiff \| tree
2012-12-11	Ferruccio Guidi	- pointer structure simplified	commit \| commitdiff \| tree
2012-12-10	Ferruccio Guidi	- lambda: - normalization theorem completed!	commit \| commitdiff \| tree
2012-12-09	Ferruccio Guidi	- lambda: first half of the standardization theorem...	commit \| commitdiff \| tree
2012-12-08	Ferruccio Guidi	- list.ma: improved notation for constant lists (a...	commit \| commitdiff \| tree
2012-12-08	Ferruccio Guidi	- new pointes can point to any subterm	commit \| commitdiff \| tree
2012-12-07	Ferruccio Guidi	lstar removed from list.ma and placed in its own file	commit \| commitdiff \| tree
2012-12-07	Ferruccio Guidi	- "re": a part of reb.ma commented out since it cannot...	commit \| commitdiff \| tree
2012-12-07	Ferruccio Guidi	- pts_dummy/pts_dummy_new: non compiling parts commented out	commit \| commitdiff \| tree
2012-12-07	Ferruccio Guidi	- untranslated sections of "formal_topology" commented...	commit \| commitdiff \| tree
2012-12-06	Ferruccio Guidi	- we enabled a notation for ex2	commit \| commitdiff \| tree
2012-12-04	Ferruccio Guidi	we started Kashima's proof of standardization	commit \| commitdiff \| tree
2012-12-03	Ferruccio Guidi	- nat.ma: we added a general induction principle	commit \| commitdiff \| tree
next

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

RSS Atom