]> matita.cs.unibo.it Git - helm.git/commit
- refreshing of uris in NotationPt.terms implemented
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 5 Nov 2010 10:42:10 +0000 (10:42 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 5 Nov 2010 10:42:10 +0000 (10:42 +0000)
commitd4f2d4c1a4784f84aa27e1bb96b8b377a6553c65
tree0f06bdcb1fc98b3b8185bb3814c1af7636080178
parent791d52ba005e434be27cca1f8059d9f28da0183b
- refreshing of uris in NotationPt.terms implemented
matita/components/content/notationUtil.ml
matita/components/content/notationUtil.mli
matita/components/content_pres/cicNotationParser.ml
matita/components/content_pres/cicNotationParser.mli
matita/components/grafite_engine/grafiteEngine.ml
matita/components/grafite_engine/nCicCoercDeclaration.ml
matita/components/ng_library/nCicLibrary.ml
matita/components/ng_library/nCicLibrary.mli