]> 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)
commit9f49495f5f1e54ccacb8142043cba65ca55b7125
tree5a4b7fb829891ddcf97ed013223d438624deceaa
parenta6c0e26692598b528ad9a697fa580ba915962d42
- cheanges for the new coercion stuff (including the generated graph)
- new test for coercions
- new test for tinycals
helm/software/matita/applyTransformation.ml
helm/software/matita/matita.glade
helm/software/matita/matita.ml
helm/software/matita/matitaMathView.ml
helm/software/matita/matitaTypes.ml
helm/software/matita/matitaTypes.mli
helm/software/matita/tests/coercions.ma
helm/software/matita/tests/tinycals.ma