]> matita.cs.unibo.it Git - helm.git/history - helm/matita/core_notation.ma
Debugging code commented out.
[helm.git] / helm / matita / core_notation.ma
2005-07-20 Stefano Zacchirolifixed typo in 'leq interpretation uri which enable...
2005-07-18 Stefano Zacchirolimerged cic_notation with matita: good luck!