]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c8767b5) | patch
assert false could happen
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 6 May 2010 15:45:35 +0000 (15:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 6 May 2010 15:45:35 +0000 (15:45 +0000)
commit8dbc4dcef7328f3ac84f847255e9be8d47c1de6d
tree4fdd7fdc9d1dae043c9e9852c99c57ebf586b35btree | snapshot
parentc8767b56c0a77fa52efb3815524620602709922bcommit | diff
assert false could happen
helm/software/components/ng_kernel/nCicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.