]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a1ff37a) | patch
Bug fixed in computation of heights: a constant must have height greater than its...
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 May 2008 15:08:57 +0000 (15:08 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 May 2008 15:08:57 +0000 (15:08 +0000)
commit8ede07ed1f9b4937fc333f3438f635a0530e3a76
treec7a0641a86cc2b016d8d6c12b730b18368d20898tree | snapshot
parenta1ff37abdbcdf931ff3fa2396c629b95344a0849commit | diff
Bug fixed in computation of heights: a constant must have height greater than its constant__s
helm/software/components/ng_kernel/oCic2NCic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.