matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/arithmetics/nat.ma

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/arithmetics/nat.ma

[helm.git] / matita / matita / lib / arithmetics / nat.ma

2013-08-01	Ferruccio Guidi	partial commit: just the components before "static...	blob \| commitdiff \| raw
2013-06-19	Ferruccio Guidi	- partial commit :(	blob \| commitdiff \| raw \| diff to current
2013-02-11	Ferruccio Guidi	more service lemmas in nat and lambdadelta	blob \| commitdiff \| raw \| diff to current
2012-12-28	Ferruccio Guidi	xoa: change in naming convenctions for existential...	blob \| commitdiff \| raw \| diff to current
2012-12-25	Ferruccio Guidi	- lambda_delta: programmed renaming to lambdadelta	blob \| commitdiff \| raw \| diff to current
2012-12-20	Ferruccio Guidi	- nat.ma: cut removed from f_ind :)	blob \| commitdiff \| raw \| diff to current
2012-12-03	Ferruccio Guidi	- nat.ma: we added a general induction principle	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-07	Ferruccio Guidi	- predefined_virtuals: nwe characters	blob \| commitdiff \| raw \| diff to current
2012-06-27	Andrea Asperti	removed a duplicate	blob \| commitdiff \| raw \| diff to current
2012-05-25	Andrea Asperti	a bit faster	blob \| commitdiff \| raw \| diff to current
2012-05-15	Claudio Sacerdoti...	Patch by Ferruccio that enables \top/\bot for False...	blob \| commitdiff \| raw \| diff to current
2012-05-15	Ferruccio Guidi	we added the standard notation for True and False ...	blob \| commitdiff \| raw \| diff to current
2012-05-10	Ferruccio Guidi	- lib: some additions	blob \| commitdiff \| raw \| diff to current
2012-04-25	Ferruccio Guidi	- lambda_delta: bug fix in static type assignment	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-23	Ferruccio Guidi	- pts: we restored the former hierarchy	blob \| commitdiff \| raw \| diff to current
2012-01-07	Ferruccio Guidi	lambda_delta: global environments handling: redefined...	blob \| commitdiff \| raw \| diff to current
2011-12-20	Ferruccio Guidi	- the definition of the framework for strong normalizat...	blob \| commitdiff \| raw \| diff to current
2011-12-12	Claudio Sacerdoti...	Some integrations from CerCo. In particular:	blob \| commitdiff \| raw \| diff to current
2011-12-12	Ferruccio Guidi	nat library reorganized ....	blob \| commitdiff \| raw \| diff to current
2011-12-06	Ferruccio Guidi	we added a definition and a couple of lemmas	blob \| commitdiff \| raw \| diff to current
2011-10-28	Andrea Asperti	Some qed-	blob \| commitdiff \| raw \| diff to current
2010-12-23	Andrea Asperti	progress	blob \| commitdiff \| raw \| diff to current
2010-12-16	Andrea Asperti	New version of the library. Several files still do...	blob \| commitdiff \| raw \| diff to current
2010-12-06	Andrea Asperti	some progress	blob \| commitdiff \| raw \| diff to current
2010-11-22	Andrea Asperti	Some arithmetics.	blob \| commitdiff \| raw \| diff to current

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

RSS Atom