]> matita.cs.unibo.it Git - helm.git/commit
Number notation for NG.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 18 Jan 2010 09:50:06 +0000 (09:50 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 18 Jan 2010 09:50:06 +0000 (09:50 +0000)
commitb3b2d09d58c23757b1a50326a0ce7c355fe43d54
tree6616c96b1954d7f2062ac0618a800adca3353104
parent1cdd34d7c286ab22d942e2dd1b1420e1c1caeff6
Number notation for NG.
helm/software/components/METAS/meta.helm-ng_disambiguation.src
helm/software/components/cic_disambiguation/disambiguateChoices.ml
helm/software/components/cic_disambiguation/disambiguateChoices.mli
helm/software/components/ng_disambiguation/Makefile
helm/software/components/ng_disambiguation/nnumber_notation.ml [new file with mode: 0644]