]> matita.cs.unibo.it Git - helm.git/commit
added a test for the pullback stuff and the possibility to get the coercion graph...
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 25 Nov 2006 11:23:02 +0000 (11:23 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 25 Nov 2006 11:23:02 +0000 (11:23 +0000)
commitb9abc92648bccc93a8abfaca299953d06f30e671
treedec7c15818e5536460d9c610c1f852adb8f8b601
parenta2b75ceaade20d5ef6b5174883d3ec62ab7de41d
added a test for the pullback stuff and the possibility to get the coercion graph printed without closures
helm/software/matita/matita.ml
helm/software/matita/matitaMathView.ml
helm/software/matita/matitaTypes.ml
helm/software/matita/matitaTypes.mli
helm/software/matita/tests/pullback.ma [new file with mode: 0644]