]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/dama/lattices.ma
alpha conversion to avoid case-insensitivity of MySql on my laptop.
[helm.git] / helm / software / matita / dama / lattices.ma
2006-12-29 Claudio Sacerdoti... First attempt at using/simulating records with manifest...
2006-12-15 Claudio Sacerdoti... Huge DAMA update: