matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma

2006-12-07	Ferruccio Guidi	new theorems added. does not comile well yet :(( proble...	blob \| commitdiff \| raw
2006-09-15	Ferruccio Guidi	exportation completed!!	blob \| commitdiff \| raw \| diff to current
2006-09-14	Ferruccio Guidi	ok up to pc1	blob \| commitdiff \| raw \| diff to current
2006-09-13	Ferruccio Guidi	ok up to pr3	blob \| commitdiff \| raw \| diff to current
2006-09-13	Ferruccio Guidi	- ok pr0 pr1 pr2	blob \| commitdiff \| raw \| diff to current
2006-09-10	Ferruccio Guidi	ok up to arity assignment	blob \| commitdiff \| raw \| diff to current
2006-09-10	Ferruccio Guidi	3 problems solved patching the alpha-conversion of...	blob \| commitdiff \| raw \| diff to current
2006-09-08	Ferruccio Guidi	- some theorems from levels_defs	blob \| commitdiff \| raw \| diff to current
2006-09-07	Ferruccio Guidi	ok up to tau0	blob \| commitdiff \| raw \| diff to current
2006-09-07	Ferruccio Guidi	subst0 completed	blob \| commitdiff \| raw \| diff to current
2006-09-06	Ferruccio Guidi	some theorems about getl	blob \| commitdiff \| raw \| diff to current
2006-09-06	Ferruccio Guidi	dependences fixed	blob \| commitdiff \| raw \| diff to current
2006-09-05	Ferruccio Guidi	new theorems	blob \| commitdiff \| raw \| diff to current
2006-09-04	Ferruccio Guidi	new organization of the Base and LambdaDelta modules	blob \| commitdiff \| raw \| diff to current

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