]> matita.cs.unibo.it Git - helm.git/commit
- cheanges for the new coercion stuff (including the generated graph)
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 10 Jul 2006 17:09:21 +0000 (17:09 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 10 Jul 2006 17:09:21 +0000 (17:09 +0000)
commitda415a61eb8ecfc58817196363fad86b35efe490
treeab75cd274a4638a536b2b97b3052fe745c41122f
parent92315dd030151c0eb8afda77bc83076d043bd8ce
- cheanges for the new coercion stuff (including the generated graph)
- new test for coercions
- new test for tinycals
matita/applyTransformation.ml
matita/matita.glade
matita/matita.ml
matita/matitaMathView.ml
matita/matitaTypes.ml
matita/matitaTypes.mli
matita/tests/coercions.ma
matita/tests/tinycals.ma