]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aaf1c6a) | patch
Dandling ")" removed from notation for 'exists.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 4 Sep 2007 12:21:40 +0000 (12:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 4 Sep 2007 12:21:40 +0000 (12:21 +0000)
commitfb8417d61a7c484df744c3222101cd091fc589c6
tree70f03ce98ed6cea9214d283e080d99d3bde229a2tree | snapshot
parentaaf1c6a4f2e56d08433e2258da4d4cc51c943e4ecommit | diff
Dandling ")" removed from notation for 'exists.
helm/software/matita/core_notation.moo diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.