]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e79fd32) | patch
coercions that are marked as variant are unfolded when inserted
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 Jan 2009 11:07:37 +0000 (11:07 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 Jan 2009 11:07:37 +0000 (11:07 +0000)
commit16770c377b03dd7690dd2d2533a4981f097ba93b
tree01023c5bce01b6a48f56242d46ca47baf8bd371btree | snapshot
parente79fd328fe626dbd8c76183c36f721119e9fb668commit | diff
coercions that are marked as variant are unfolded when inserted
helm/software/components/cic_unification/cicRefine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.