]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/decidable_kit/fgraph.ma
alpha conversion to avoid case-insensitivity of MySql on my laptop.
[helm.git] / helm / software / matita / library / decidable_kit / fgraph.ma
2007-08-30 Enrico Tassimore stuff to reach an intensional definition of finite...