]> matita.cs.unibo.it Git - helm.git/commit
coercions reordering implemented
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 6 Jan 2009 18:19:28 +0000 (18:19 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 6 Jan 2009 18:19:28 +0000 (18:19 +0000)
commit4ef0546be6fdf068e5a59951aa42895bebc0fa3a
tree54131f066b83ba15229a3d397b57066cff6c5db4
parentb25f63d7a0d7aa06ed49e0c046783e43f69c180c
coercions reordering implemented
helm/software/components/library/coercDb.ml
helm/software/matita/dist/ChangeLog