]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04d8e22) | patch
added translation of Set to Type0 (avoid warning)
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 2 Apr 2008 13:14:45 +0000 (13:14 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 2 Apr 2008 13:14:45 +0000 (13:14 +0000)
commitc9515ad8b94542e3164ab6affddef5ae3129f2e4
tree51548e067aae4057d52ce92356f9e20bb208d50ftree | snapshot
parent04d8e2282a3536a9b822a8dbfcbdb4e3a949f04dcommit | diff
added translation of Set to Type0 (avoid warning)
helm/software/components/ng_kernel/oCic2NCic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.