]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 700b170) | patch
- external quantification removed (will be reintroduced when needed)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 6 Apr 2009 14:20:51 +0000 (14:20 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 6 Apr 2009 14:20:51 +0000 (14:20 +0000)
commitbf8fe5331d6e6d2dfe955efa54b1ffdafaae8429
tree9755a8c12862d97ee332f58a3a460b0aa6d0d9a5tree | snapshot
parent700b170aa9b0377d33f1edd44de8d89129477fb8commit | diff
- external quantification removed (will be reintroduced when needed)
- preamble added (was missing)
helm/software/matita/contribs/limits/Class/defs.ma diff | blob | history
helm/software/matita/contribs/limits/Domain/defs.ma diff | blob | history
helm/software/matita/contribs/limits/Subset/defs.ma diff | blob | history
helm/software/matita/contribs/limits/preamble.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.