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

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

2011-05-20	Ferruccio Guidi	- we weakened SAT3	blob \| commitdiff \| raw
2011-03-23	Ferruccio Guidi	- terms.ma: we included 'is_dummy" and "neutral" (maybe...	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
2011-02-21	Ferruccio Guidi	we started to set up the strong normalization proof.	blob \| commitdiff \| raw \| diff to current

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