]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ecc6a77) | patch
prova.ma: baseuri fixed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Dec 2006 18:40:48 +0000 (18:40 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Dec 2006 18:40:48 +0000 (18:40 +0000)
commit1c0aa5a6fe9b54787046c7e0270760ad197ee460
tree7142f200a2f0bfc1b8ed0ac552bde9a2962c4192tree | snapshot
parentecc6a77fcb57cbab35fddfdb34514edf6a57ad71commit | diff
prova.ma: baseuri fixed
Unified: flat contexts added
matita/contribs/LAMBDA-TYPES/Unified/C/defs.ma [new file with mode: 0644] blob
matita/contribs/prova.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.