]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5dfc6c) | patch
LAMBDA-TYPES: level 2 dependences are now correct, at least :)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 18 Mar 2008 19:22:41 +0000 (19:22 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 18 Mar 2008 19:22:41 +0000 (19:22 +0000)
commit78b677a78cbe8f6f71ebdcdff970d0cde8a8c1b8
tree13f7d59267a25f856cf4eff7458f0b3ae7ad6953tree | snapshot
parentf5dfc6c24a393a4717a7b40689df768d271d9ac0commit | diff
LAMBDA-TYPES: level 2 dependences are now correct, at least :)
helm/software/matita/contribs/LAMBDA-TYPES/Legacy-2/.depend [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Legacy-2/coq/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Legacy-2/coq/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Legacy-2/depends [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Legacy-2/preamble.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Legacy-2/theory.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.