]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 46013cf) | patch
LAMBDA-TYPES moved under contribs
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 5 Sep 2005 10:15:21 +0000 (10:15 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 5 Sep 2005 10:15:21 +0000 (10:15 +0000)
commit2ff23d9306837c14c9d1a3b935a66bc71ffe87c3
tree506543b51098ccf33f2f5bb55706b2b4238c2355tree | snapshot
parent46013cfe393bd89cb92e3703955c259685bac551commit | diff
LAMBDA-TYPES moved under contribs
helm/matita/contribs/LAMBDA-TYPES/lref_map_defs.ma [new file with mode: 0644] blob
helm/matita/contribs/LAMBDA-TYPES/terms_defs.ma [new file with mode: 0644] blob
helm/matita/contribs/LAMBDA-TYPES/tlt_defs.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.