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

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

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
2012-12-02	Ferruccio Guidi	- bugfix in stylesheets	commit \| commitdiff \| tree
2012-12-02	Ferruccio Guidi	bugfix in uri's: missing "/" added to baseuri's where...	commit \| commitdiff \| tree
2012-12-02	Ferruccio Guidi	- dehypenation involves helena as well	commit \| commitdiff \| tree
2012-12-02	Ferruccio Guidi	the dehyphenation update continues ...	commit \| commitdiff \| tree
2012-12-02	Ferruccio Guidi	some corrections to the prose of the web site	commit \| commitdiff \| tree
2012-12-01	Ferruccio Guidi	web site update	commit \| commitdiff \| tree
2012-12-01	Ferruccio Guidi	old lambdadelta home page is dismissed	commit \| commitdiff \| tree
2012-12-01	Ferruccio Guidi	nug fix in the location of images	commit \| commitdiff \| tree
2012-12-01	Ferruccio Guidi	- lambda: parallel reduction to obtain diamond property	commit \| commitdiff \| tree
2012-12-01	Ferruccio Guidi	planned dehyphenation of lambdadelta eventually took...	commit \| commitdiff \| tree
2012-11-29	Ferruccio Guidi	- bug fix in notation precedences	commit \| commitdiff \| tree
2012-11-29	Ferruccio Guidi	- labelled sequential reduction started ...	commit \| commitdiff \| tree
2012-11-28	Ferruccio Guidi	- relations.ma:	commit \| commitdiff \| tree
2012-11-27	Ferruccio Guidi	bug fix in notation precedences	commit \| commitdiff \| tree
2012-11-27	Ferruccio Guidi	- the theory of delifting substitution is done	commit \| commitdiff \| tree
2012-11-26	Ferruccio Guidi	we started the theory of delifting substitution ...	commit \| commitdiff \| tree
2012-11-26	Ferruccio Guidi	- lambda: the theory of lift is complete!	commit \| commitdiff \| tree
2012-11-25	Ferruccio Guidi	some renaming to free the baseuri cic:/matita/lambda	commit \| commitdiff \| tree
2012-11-23	Ferruccio Guidi	additions in lift.ma ....	commit \| commitdiff \| tree
2012-11-23	Ferruccio Guidi	the theory of substitution is started ...	commit \| commitdiff \| tree
2012-11-22	Ferruccio Guidi	a development about pure lambda calculus	commit \| commitdiff \| tree
2012-11-22	Ferruccio Guidi	- additions in basic_2	commit \| commitdiff \| tree
2012-11-22	Ferruccio Guidi	- local environment refinement for the first recursive...	commit \| commitdiff \| tree
2012-11-20	Ferruccio Guidi	some corrections	commit \| commitdiff \| tree
2012-11-20	Ferruccio Guidi	some words decapitalized :)	commit \| commitdiff \| tree
2012-11-20	Ferruccio Guidi	milestone table in foreword	commit \| commitdiff \| tree
2012-11-20	Ferruccio Guidi	milestone with end date of lambda_delta_1	commit \| commitdiff \| tree
2012-11-13	Ferruccio Guidi	- one axiom removed from sd	commit \| commitdiff \| tree
2012-11-09	Ferruccio Guidi	- mac (ma count)	commit \| commitdiff \| tree
2012-11-07	Ferruccio Guidi	- commit completed!!	commit \| commitdiff \| tree
2012-11-07	Ferruccio Guidi	- commit of the component: static	commit \| commitdiff \| tree
2012-11-07	Ferruccio Guidi	- predefined_virtuals: nwe characters	commit \| commitdiff \| tree
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
next

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

RSS Atom