]> matita.cs.unibo.it Git - helm.git/commit
short notation for "coercion"
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 18 Nov 2011 15:48:16 +0000 (15:48 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 18 Nov 2011 15:48:16 +0000 (15:48 +0000)
commit91d21783f8ef99251f1868ea286c395d7f653ac5
tree1ecf2100574070039dcbab23f95e0d31e3055864
parentad5d1efa7265f0881bc0b1a49cd806f40e4cb31a
short notation for "coercion"
matita/components/grafite/grafiteAst.ml
matita/components/grafite_engine/grafiteEngine.ml
matita/components/grafite_parser/grafiteParser.ml