projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 1 Sep 2006 18:42:06 +0000 (18:42 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 1 Sep 2006 18:42:06 +0000 (18:42 +0000) | ||
| commit | 0df1e9792b208c0558960e7429b45abe25c6f90f | |
| tree | 15c056abee73fbda5949defc887f8321bd53e3bf | tree | snapshot |
| parent | dab40d3f522ad5e31a6b8967840c7b36937de83c | commit | diff |
| matita/contribs/LAMBDA-TYPES/Level-1/Base.ma | diff | blob | history | |
| matita/contribs/LAMBDA-TYPES/Level-1/Preamble.ma | diff | blob | history |