]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d69878e) | 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)
commit7ea6628e47d158e598205e246df3d387a08e7e82
treeaf7261c5e73f574118b84fc21a8949779c6655b5tree | snapshot
parentd69878e5f8e69bc0fb71b10a14938803f7f87369commit | diff
Added more typing information to remove a coercion.
helm/software/matita/dama/reals.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.