]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/nlibrary/hints_declaration.ma
Change (or better define) the order of hints premises.
[helm.git] / helm / software / matita / nlibrary / hints_declaration.ma
2010-09-12 Enrico TassiChange (or better define) the order of hints premises.
2010-09-12 Enrico Tassinon uniform coercions landed in hints_declaration.ma...
2010-07-22 Enrico Tassifixed precedence so that no () are needed around variab...
2009-10-06 Enrico Tassisome fixes
2009-09-10 Enrico Tassinice hints
2009-09-10 Enrico Tassinice notation for hints!
2009-09-10 Enrico Tassimore stuff fixed
2009-09-08 Enrico Tassisnapshot for CSC