matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/lambda/lambda

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/lambda/lambda_notation.ma

2012-04-26	Ferruccio Guidi	- notation (possibly affecting all .ma files):	blob \| commitdiff \| raw
2011-06-01	Ferruccio Guidi	CC2FO_K_cube: soundness of the K interpretation stated	blob \| commitdiff \| raw \| diff to current
2011-05-30	Ferruccio Guidi	basics: some additions	blob \| commitdiff \| raw \| diff to current
2011-05-25	Ferruccio Guidi	- degree: some improvements and the Deg_append lemma	blob \| commitdiff \| raw \| diff to current
2011-05-18	Andrea Asperti	New version of TJ parametric in the specification of...	blob \| commitdiff \| raw \| diff to current
2011-03-22	Ferruccio Guidi	- lambda_notation.ma: more notation and bug fixes	blob \| commitdiff \| raw \| diff to current
2011-03-15	Ferruccio Guidi	- more notation and service lemmas	blob \| commitdiff \| raw \| diff to current
2011-03-09	Ferruccio Guidi	more notation and all-purpose lemmas	blob \| commitdiff \| raw \| diff to current
2011-03-02	Ferruccio Guidi	we started the implementation of higher order saturated...	blob \| commitdiff \| raw \| diff to current
2011-02-27	Ferruccio Guidi	- rc_sat.ma: we changed the notation for extensional...	blob \| commitdiff \| raw \| diff to current
2011-02-27	Ferruccio Guidi	- notation is now in a separate file	blob \| commitdiff \| raw \| diff to current

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