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

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

2018-01-08	Ferruccio Guidi	work in progress with voids and lveq (was: the most...	commit \| commitdiff \| tree
2018-01-06	Ferruccio Guidi	update in ground_2 + \lambda\delta-related ignores	commit \| commitdiff \| tree
2018-01-05	Ferruccio Guidi	matita.basedir used consistently	commit \| commitdiff \| tree
2018-01-05	Ferruccio Guidi	more files to ignore	commit \| commitdiff \| tree
2018-01-05	Ferruccio Guidi	updated depend files	commit \| commitdiff \| tree
2018-01-05	Ferruccio Guidi	beginning of minimalist foundation from a student of...	commit \| commitdiff \| tree
2017-12-04	Ferruccio Guidi	- work in progress proceeds for the new definition...	commit \| commitdiff \| tree
2017-12-01	Ferruccio Guidi	an addition for \lambda\delta	commit \| commitdiff \| tree
2017-12-01	Ferruccio Guidi	work in progress on a new definition of voids ...	commit \| commitdiff \| tree
2017-11-30	Ferruccio Guidi	the previous commit was incomplete :(	commit \| commitdiff \| tree
2017-11-30	Ferruccio Guidi	work in progress with fle ...	commit \| commitdiff \| tree
2017-11-27	Ferruccio Guidi	work in progress ...	commit \| commitdiff \| tree
2017-11-27	Ferruccio Guidi	- free variables innclusion (fle) encapsulates some...	commit \| commitdiff \| tree
2017-11-24	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2017-11-24	Ferruccio Guidi	- equivalence between lfpxs and lpxs + lfeq proved	commit \| commitdiff \| tree
2017-11-24	Ferruccio Guidi	- lpx and lpxs restored to prove equivalene between...	commit \| commitdiff \| tree
2017-11-22	Ferruccio Guidi	update in basic_2 and in the corresponding web page	commit \| commitdiff \| tree
2017-11-22	Ferruccio Guidi	- equivalene of tc_lfxs and lex + lfeq proved	commit \| commitdiff \| tree
2017-11-20	Ferruccio Guidi	- ground_2: rtmap: disjointness relation	commit \| commitdiff \| tree
2017-11-17	Ferruccio Guidi	- dependences on ceq and ceq_ext fixed	commit \| commitdiff \| tree
2017-11-17	Ferruccio Guidi	former commit completed: one file was missing :(	commit \| commitdiff \| tree
2017-11-17	Ferruccio Guidi	- ext2_tc added	commit \| commitdiff \| tree
2017-11-14	Ferruccio Guidi	notational change in basic_2	commit \| commitdiff \| tree
2017-11-14	Ferruccio Guidi	- notation change for tdeq and related notions	commit \| commitdiff \| tree
2017-11-13	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2017-11-13	Ferruccio Guidi	- lsubsx (replacement of lcosx) completed	commit \| commitdiff \| tree
2017-11-10	Ferruccio Guidi	- some proposition name clashes removed	commit \| commitdiff \| tree
2017-11-09	Ferruccio Guidi	advances on lfsx_csx ...	commit \| commitdiff \| tree
2017-11-09	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2017-11-09	Ferruccio Guidi	lfsx_drops completed	commit \| commitdiff \| tree
2017-11-03	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree
2017-11-03	Ferruccio Guidi	- exclusion binder in local environments allows to...	commit \| commitdiff \| tree
2017-11-02	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2017-11-02	Ferruccio Guidi	- exclusion binder in local environments	commit \| commitdiff \| tree
2017-10-26	Ferruccio Guidi	updated colors for summary tables in the web site	commit \| commitdiff \| tree
2017-10-26	Ferruccio Guidi	- cpxs completed	commit \| commitdiff \| tree
2017-10-25	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2017-10-25	Ferruccio Guidi	- exclusion binder in local environments	commit \| commitdiff \| tree
2017-10-25	Ferruccio Guidi	update in basic_2 and apps_2	commit \| commitdiff \| tree
2017-10-25	Ferruccio Guidi	- exclusion binder in local environments	commit \| commitdiff \| tree
2017-10-25	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2017-10-25	Ferruccio Guidi	- exclusion binder in local environments	commit \| commitdiff \| tree
2017-10-23	Ferruccio Guidi	- update in basic_2	commit \| commitdiff \| tree
2017-10-23	Ferruccio Guidi	one file missing in previous commit :(	commit \| commitdiff \| tree
2017-10-23	Ferruccio Guidi	- exclusion binder in local environments:	commit \| commitdiff \| tree
2017-10-21	Ferruccio Guidi	- one conjecture closed on lsubf	commit \| commitdiff \| tree
2017-10-17	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2017-10-17	Ferruccio Guidi	- exclusion binder in local environments	commit \| commitdiff \| tree
2017-10-17	Ferruccio Guidi	post milestone in basic_2	commit \| commitdiff \| tree
2017-10-17	Ferruccio Guidi	- exclusion binder in local environments	commit \| commitdiff \| tree
2017-10-16	Ferruccio Guidi	- milestone in basic_2	commit \| commitdiff \| tree
2017-10-16	Ferruccio Guidi	- exclusion binder added in local environments	commit \| commitdiff \| tree
2017-10-10	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2017-10-10	Ferruccio Guidi	update in basic_2 due to previous update in grond_2	commit \| commitdiff \| tree
2017-10-10	Ferruccio Guidi	- web site update	commit \| commitdiff \| tree
2017-10-10	Ferruccio Guidi	- more results on relocation	commit \| commitdiff \| tree
2017-09-10	Ferruccio Guidi	notation bug due to previous refactoring	commit \| commitdiff \| tree
2017-09-10	Ferruccio Guidi	xoa notation refactoring and minor additions	commit \| commitdiff \| tree
2017-06-02	Ferruccio Guidi	one file was missing :(	commit \| commitdiff \| tree
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
next

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

RSS Atom