]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0fadcf3) | 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)
commitde49318d8e44cfcba7215f0981afdc7ab4c16473
tree158f6aeda15630882036f5178a28321bc9a67177tree | snapshot
parent0fadcf36d82e4ed816a50db09dfd1559a8507e6ccommit | diff
prova.ma: baseuri fixed
Unified: flat contexts added
helm/software/matita/contribs/LAMBDA-TYPES/Unified/C/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/prova.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.