]> matita.cs.unibo.it Git - helm.git/commit
support for terms with metas in check
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 9 Mar 2005 10:22:39 +0000 (10:22 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 9 Mar 2005 10:22:39 +0000 (10:22 +0000)
commit4cb4d286a1fdcb150c2848a9d21ac3486906c317
treedaa9b5d4ac7b0dbb857edc75eadb585f6731d132
parentab336f7c09d052c45a09dd49e9b75a39e8b57e5b
support for terms with metas in check
helm/matita/matitaInterpreter.ml
helm/matita/matitaMathView.ml
helm/matita/matitaTypes.ml
helm/matita/matitaTypes.mli