]> matita.cs.unibo.it Git - helm.git/commit
we added an nmap from NCic.obj to NotationPt.obj (to be continued)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 5 Apr 2011 20:30:48 +0000 (20:30 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 5 Apr 2011 20:30:48 +0000 (20:30 +0000)
commitff3a27b1cbb969303ece080ef78cf53354545e5e
treee467770a094249c1054a34b1f6f6c7eae9c207fd
parent6d66293a79136e2ff290441b19fb18d2f667fed4
we added an nmap from NCic.obj to NotationPt.obj (to be continued)
matita/components/ng_cic_content/interpretations.ml
matita/components/ng_cic_content/interpretations.mli
matita/matita/applyTransformation.ml