matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/preamble.ma

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

2006-12-22	Ferruccio Guidi	legacy development created	blob \| commitdiff \| raw
2006-09-18	Ferruccio Guidi	last problem elegantly resolved!	blob \| commitdiff \| raw \| diff to current
2006-09-13	Claudio Sacerdoti...	problems-4 was due to trans_eq expecting an explicit...	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	Claudio Sacerdoti...	Missing alias added.	blob \| commitdiff \| raw \| diff to current
2006-09-07	Claudio Sacerdoti...	Preamble is now working properly and it does not includ...	blob \| commitdiff \| raw \| diff to current
2006-09-07	Ferruccio Guidi	error in preamble.ma	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	Claudio Sacerdoti...	More aliases.	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.