]> matita.cs.unibo.it Git - helm.git/commit
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
treeaf7261c5e73f574118b84fc21a8949779c6655b5
parentd69878e5f8e69bc0fb71b10a14938803f7f87369
Added more typing information to remove a coercion.
helm/software/matita/dama/reals.ma