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

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

2011-06-06	Claudio Sacerdoti...	Minor changes because of the new, weaker (but much...	blob \| commitdiff \| raw
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-15	Ferruccio Guidi	- some ignores	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	- notation is now in a separate file	blob \| commitdiff \| raw \| diff to current
2011-02-26	Ferruccio Guidi	- new file ext.ma with the objects needed for the norma...	blob \| commitdiff \| raw \| diff to current

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