]> matita.cs.unibo.it Git - helm.git/history - helm/matita/core_notation.ma
merged transformations on top of notation code
[helm.git] / helm / matita / core_notation.ma
2005-07-25 Stefano Zacchirolimerged transformations on top of notation code
2005-07-20 Stefano Zacchirolifixed typo in 'leq interpretation uri which enable...
2005-07-18 Stefano Zacchirolimerged cic_notation with matita: good luck!