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

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

2012-10-29	Ferruccio Guidi	- we set up the support for the "bt-reduction" of Automath...	commit \| commitdiff \| tree
2012-10-28	Ferruccio Guidi	an addition ...	commit \| commitdiff \| tree
2012-10-27	Ferruccio Guidi	- some additions and corrections	commit \| commitdiff \| tree
2012-10-18	Ferruccio Guidi	- additions in basic_2	commit \| commitdiff \| tree
2012-10-18	Ferruccio Guidi	- some confluence results for focalized reduction and...	commit \| commitdiff \| tree
2012-10-16	Ferruccio Guidi	- milestone update in basic_2	commit \| commitdiff \| tree
2012-10-16	Ferruccio Guidi	context-free parallel reduction on closures is confluent!	commit \| commitdiff \| tree
2012-10-15	Ferruccio Guidi	- xhtbl: we added the construction + to place several...	commit \| commitdiff \| tree
2012-10-13	Ferruccio Guidi	updates in basic_2 ...	commit \| commitdiff \| tree
2012-10-13	Ferruccio Guidi	- parallel reduction for local environments: we proved...	commit \| commitdiff \| tree
2012-09-29	Ferruccio Guidi	bugfix in Makefiles	commit \| commitdiff \| tree
2012-09-29	Ferruccio Guidi	- updates in basic_2	commit \| commitdiff \| tree
2012-09-29	Ferruccio Guidi	- full commit for the transtive closure of ltpss!	commit \| commitdiff \| tree
2012-09-28	Ferruccio Guidi	additions to basic_2	commit \| commitdiff \| tree
2012-09-28	Ferruccio Guidi	- partial commit (static component only)	commit \| commitdiff \| tree
2012-09-28	Ferruccio Guidi	- some additions to basic_2	commit \| commitdiff \| tree
2012-09-28	Ferruccio Guidi	- partial commit (unfold component only)	commit \| commitdiff \| tree
2012-09-05	Ferruccio Guidi	the partial commit continues ...	commit \| commitdiff \| tree
2012-09-03	Ferruccio Guidi	partial update in basic_2 ...	commit \| commitdiff \| tree
2012-09-03	Ferruccio Guidi	lambda_delta: partial commit ...	commit \| commitdiff \| tree
2012-08-25	Ferruccio Guidi	update of logo completed!	commit \| commitdiff \| tree
2012-08-25	Ferruccio Guidi	still updating ...	commit \| commitdiff \| tree
2012-08-25	Ferruccio Guidi	we are updating the logo of lambda_delta ...	commit \| commitdiff \| tree
2012-08-24	Ferruccio Guidi	sample table for character classes	commit \| commitdiff \| tree
2012-08-24	Ferruccio Guidi	- Makefile update	commit \| commitdiff \| tree
2012-08-24	Ferruccio Guidi	- renaming complete	commit \| commitdiff \| tree
2012-08-24	Ferruccio Guidi	some renaming ...	commit \| commitdiff \| tree
2012-08-23	Ferruccio Guidi	we updated the contribution porting it to the new matita ...	commit \| commitdiff \| tree
2012-08-06	Ferruccio Guidi	dependences update	commit \| commitdiff \| tree
2012-07-29	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2012-07-29	Ferruccio Guidi	- context free computation for terms and local environments	commit \| commitdiff \| tree
2012-07-27	Ferruccio Guidi	additions and corrections to basic_2	commit \| commitdiff \| tree
2012-07-27	Ferruccio Guidi	- support for pointwise extensions of a term relation...	commit \| commitdiff \| tree
2012-07-26	Ferruccio Guidi	polarized binders introduced in basic_2	commit \| commitdiff \| tree
2012-07-26	Ferruccio Guidi	- matita: reset_font_size () added after matita.conf...	commit \| commitdiff \| tree
2012-07-24	Ferruccio Guidi	one file was missing ...	commit \| commitdiff \| tree
2012-07-23	Ferruccio Guidi	- lambda_delta: we updated some notation	commit \| commitdiff \| tree
2012-07-22	Ferruccio Guidi	- we polarized binders to control zeta reduction	commit \| commitdiff \| tree
2012-07-19	Ferruccio Guidi	- intermediate commit to allow debugging of auto tactic...	commit \| commitdiff \| tree
2012-07-13	Ferruccio Guidi	- we added a time specification in the generated web...	commit \| commitdiff \| tree
2012-07-13	Ferruccio Guidi	more symbols added for lambda_delta	commit \| commitdiff \| tree
2012-07-13	Ferruccio Guidi	- dynamic type assignment dismissed for now	commit \| commitdiff \| tree
2012-06-20	Ferruccio Guidi	an addition to basic_2	commit \| commitdiff \| tree
2012-06-20	Ferruccio Guidi	- star.ma: constructor inj of star conflicts with previous...	commit \| commitdiff \| tree
2012-06-15	Ferruccio Guidi	additions to basic_2	commit \| commitdiff \| tree
2012-06-15	Ferruccio Guidi	- relation between native type and atomic arity proced	commit \| commitdiff \| tree
2012-06-04	Ferruccio Guidi	an addition to basic_2	commit \| commitdiff \| tree
2012-06-04	Ferruccio Guidi	- lambda_delta: subject reduction for nativa type assignment...	commit \| commitdiff \| tree
2012-06-02	Ferruccio Guidi	additions to basic_2	commit \| commitdiff \| tree
2012-06-02	Ferruccio Guidi	- predefined_virtuals: an addition	commit \| commitdiff \| tree
2012-06-01	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2012-06-01	Ferruccio Guidi	- predefined_virtuals: some additions	commit \| commitdiff \| tree
2012-05-30	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2012-05-30	Ferruccio Guidi	- nDestructTac: Sys.break handled in two places	commit \| commitdiff \| tree
2012-05-26	Ferruccio Guidi	tentative specification of Conway's construction for...	commit \| commitdiff \| tree
2012-05-25	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2012-05-25	Ferruccio Guidi	- substitution lemma for native type assignmenr proved!	commit \| commitdiff \| tree
2012-05-17	Ferruccio Guidi	depenences fixup	commit \| commitdiff \| tree
2012-05-16	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2012-05-16	Ferruccio Guidi	- a caracterization of the top elements of the local...	commit \| commitdiff \| tree
2012-05-15	Ferruccio Guidi	we added the standard notation for True and False ...	commit \| commitdiff \| tree
2012-05-10	Ferruccio Guidi	- notation changes in basic_2	commit \| commitdiff \| tree
2012-05-10	Ferruccio Guidi	- predefined_virtuals: an addition	commit \| commitdiff \| tree
2012-05-10	Ferruccio Guidi	additions to basic_2	commit \| commitdiff \| tree
2012-05-10	Ferruccio Guidi	- lib: some additions	commit \| commitdiff \| tree
2012-05-03	Ferruccio Guidi	additions in basic_2	commit \| commitdiff \| tree
2012-05-03	Ferruccio Guidi	- more properties on lifting, slicing, delifting and...	commit \| commitdiff \| tree
2012-04-26	Ferruccio Guidi	- notation (possibly affecting all .ma files):	commit \| commitdiff \| tree
2012-04-25	Ferruccio Guidi	additions in basic_2	commit \| commitdiff \| tree
2012-04-25	Ferruccio Guidi	- lambda_delta: bug fix in static type assignment	commit \| commitdiff \| tree
2012-04-21	Ferruccio Guidi	additions to basic_2	commit \| commitdiff \| tree
2012-04-21	Ferruccio Guidi	- lambda_delta: static type assignment is defined	commit \| commitdiff \| tree
2012-04-19	Ferruccio Guidi	- update in basic_2	commit \| commitdiff \| tree
2012-04-19	Ferruccio Guidi	- firs theorems on native type assignment	commit \| commitdiff \| tree
2012-04-16	Ferruccio Guidi	- milestone update in basic_2	commit \| commitdiff \| tree
2012-04-16	Ferruccio Guidi	- subject equivalence for atomic arity assignment completed!	commit \| commitdiff \| tree
2012-04-10	Ferruccio Guidi	urgent partial commit ... to be fixed later ...	commit \| commitdiff \| tree
2012-04-10	Ferruccio Guidi	urgent partial commit ... to be fixed later ...	commit \| commitdiff \| tree
2012-04-04	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2012-04-04	Ferruccio Guidi	- some work on context equivalence of atomic arity...	commit \| commitdiff \| tree
2012-03-30	Ferruccio Guidi	additions to basic_2	commit \| commitdiff \| tree
2012-03-30	Ferruccio Guidi	- more on subject reduction of atomic arity assignment	commit \| commitdiff \| tree
2012-03-23	Ferruccio Guidi	additions in basic_2	commit \| commitdiff \| tree
2012-03-23	Ferruccio Guidi	- pts: we restored the former hierarchy	commit \| commitdiff \| tree
2012-03-19	Ferruccio Guidi	additions to basic_2	commit \| commitdiff \| tree
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
next

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

RSS Atom