matita.cs.unibo.it Git - helm.git/history - matita/matita/predefined

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/predefined_virtuals.ml

[helm.git] / matita / matita / predefined_virtuals.ml

2018-07-14	Ferruccio Guidi	updated xoa and predefined virtuals	blob \| commitdiff \| raw
2018-07-11	Ferruccio Guidi	update in static_2 and app_2	blob \| commitdiff \| raw \| diff to current
2018-05-01	Ferruccio Guidi	partial notational update in ground_2 and basic_2 ....	blob \| commitdiff \| raw \| diff to current
2018-04-30	Ferruccio Guidi	initial definition of λδ model	blob \| commitdiff \| raw \| diff to current
2018-04-20	Ferruccio Guidi	notational update in ground_2 and basic_2	blob \| commitdiff \| raw \| diff to current
2018-04-16	Ferruccio Guidi	anniversary push	blob \| commitdiff \| raw \| diff to current
2018-04-05	Ferruccio Guidi	bug fixed in xoa generator	blob \| commitdiff \| raw \| diff to current
2018-02-10	Ferruccio Guidi	two cases of cpx_lfxs_conf_fle closed	blob \| commitdiff \| raw \| diff to current
2017-12-01	Ferruccio Guidi	an addition for \lambda\delta	blob \| commitdiff \| raw \| diff to current
2017-05-03	Ferruccio Guidi	notational change for lexs	blob \| commitdiff \| raw \| diff to current
2017-03-13	Ferruccio Guidi	- tdeq must imply tsts	blob \| commitdiff \| raw \| diff to current
2016-05-22	Ferruccio Guidi	- notational change for cpg and cpx	blob \| commitdiff \| raw \| diff to current
2016-03-04	Ferruccio Guidi	rtmap (platform-indepent multple relocation): applicati...	blob \| commitdiff \| raw \| diff to current
2016-02-09	Ferruccio Guidi	general slicing reactivated ...	blob \| commitdiff \| raw \| diff to current
2015-10-29	Ferruccio Guidi	- matita: computed auto traces now include the "width...	blob \| commitdiff \| raw \| diff to current
2015-10-11	Ferruccio Guidi	ground_2 milestone: multiple relocation with lists...	blob \| commitdiff \| raw \| diff to current
2014-10-13	Ferruccio Guidi	- lambdadelta: minor corrections	blob \| commitdiff \| raw \| diff to current
2014-09-14	Ferruccio Guidi	slight refactoring in the proof of strong normalization	blob \| commitdiff \| raw \| diff to current
2014-06-30	Ferruccio Guidi	some additions and corrections ...	blob \| commitdiff \| raw \| diff to current
2014-04-21	Ferruccio Guidi	- we introduce recursive free variables of a term in...	blob \| commitdiff \| raw \| diff to current
2014-03-11	Ferruccio Guidi	reaxiomatized lleq fixes a bug in it and allows to...	blob \| commitdiff \| raw \| diff to current
2014-02-22	Ferruccio Guidi	addition of unused material :)	blob \| commitdiff \| raw \| diff to current
2014-02-22	Ferruccio Guidi	a wrong conjecture bypassed!	blob \| commitdiff \| raw \| diff to current
2014-02-21	Ferruccio Guidi	- main proposition on lsx finally proved!	blob \| commitdiff \| raw \| diff to current
2014-01-27	Ferruccio Guidi	some corrections ...	blob \| commitdiff \| raw \| diff to current
2013-11-26	Ferruccio Guidi	- natural numbers with infinity for lambdadelta	blob \| commitdiff \| raw \| diff to current
2013-10-24	Ferruccio Guidi	some additions needed for lambda_delta	blob \| commitdiff \| raw \| diff to current
2013-10-19	Ferruccio Guidi	more results towards the "big-tree" theorem ...	blob \| commitdiff \| raw \| diff to current
2013-06-05	Ferruccio Guidi	some work on extended reduction ...	blob \| commitdiff \| raw \| diff to current
2013-04-16	Ferruccio Guidi	- we commit just the components before "reducibility"	blob \| commitdiff \| raw \| diff to current
2013-04-15	Ferruccio Guidi	uncommited file found :)	blob \| commitdiff \| raw \| diff to current
2013-03-18	Ferruccio Guidi	some additions	blob \| commitdiff \| raw \| diff to current
2013-01-02	Ferruccio Guidi	lambda: some refactoring + support for subsets of subte...	blob \| commitdiff \| raw \| diff to current
2012-12-17	Ferruccio Guidi	- lambda: some parts commented out, some refactoring	blob \| commitdiff \| raw \| diff to current
2012-11-29	Ferruccio Guidi	- labelled sequential reduction started ...	blob \| commitdiff \| raw \| diff to current
2012-11-26	Ferruccio Guidi	we started the theory of delifting substitution ...	blob \| commitdiff \| raw \| diff to current
2012-11-26	Ferruccio Guidi	- lambda: the theory of lift is complete!	blob \| commitdiff \| raw \| diff to current
2012-11-07	Ferruccio Guidi	- predefined_virtuals: nwe characters	blob \| commitdiff \| raw \| diff to current
2012-10-28	Ferruccio Guidi	an addition ...	blob \| commitdiff \| raw \| diff to current
2012-09-03	Ferruccio Guidi	lambda_delta: partial commit ...	blob \| commitdiff \| raw \| diff to current
2012-07-13	Ferruccio Guidi	more symbols added for lambda_delta	blob \| commitdiff \| raw \| diff to current
2012-06-02	Ferruccio Guidi	- predefined_virtuals: an addition	blob \| commitdiff \| raw \| diff to current
2012-06-01	Ferruccio Guidi	- predefined_virtuals: some additions	blob \| commitdiff \| raw \| diff to current
2012-05-10	Ferruccio Guidi	- predefined_virtuals: an addition	blob \| commitdiff \| raw \| diff to current
2012-04-21	Ferruccio Guidi	- lambda_delta: static type assignment is defined	blob \| commitdiff \| raw \| diff to current
2012-03-17	Ferruccio Guidi	- basics: some support for abstract triangular confluen...	blob \| commitdiff \| raw \| diff to current
2012-03-04	Ferruccio Guidi	- lambda_delta: "conversion" and "equivalence" componen...	blob \| commitdiff \| raw \| diff to current
2012-02-20	Ferruccio Guidi	initial properies of the "same top term constructor...	blob \| commitdiff \| raw \| diff to current
2012-02-09	Ferruccio Guidi	- first properties of strongly normalizing terms	blob \| commitdiff \| raw \| diff to current
2012-01-08	Ferruccio Guidi	more characters shortcuts	blob \| commitdiff \| raw \| diff to current
2012-01-07	Ferruccio Guidi	lambda_delta: global environments handling: redefined...	blob \| commitdiff \| raw \| diff to current
2010-09-30	Claudio Sacerdoti...	Stuff moved from old Matita.	blob \| commitdiff \| raw \| diff to current

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

RSS Atom