]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fcdc755) | patch
assertion was wrong, an object can contain a named univers if its uri is the one...
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 18 Apr 2008 15:27:39 +0000 (15:27 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 18 Apr 2008 15:27:39 +0000 (15:27 +0000)
commitca1359de73c1c9deda30c9aaff2606b8dd5253bc
treec170af6d289769a3c1d40718ae553efe69290932tree | snapshot
parentfcdc755773839176c7206b579b6dd1ff665ed8f5commit | diff
assertion was wrong, an object can contain a named univers if its uri is the one of the object itself
helm/software/components/cic/cicUniv.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.