]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a073df) | patch
Added more typing information to remove a coercion.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 5 Nov 2006 10:14:04 +0000 (10:14 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 5 Nov 2006 10:14:04 +0000 (10:14 +0000)
commit8bf2443a45a06c53153344201213afab724bf142
tree70ba7448a3bcd03e39fb088062ebef415cddc3c4tree | snapshot
parent4a073df57b56bf6d89ec0f806d5471388940dedacommit | diff
Added more typing information to remove a coercion.
matita/dama/reals.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.