]> matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/nlibrary/depends
// in place of nauto everywhere
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Jan 2010 11:46:06 +0000 (11:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Jan 2010 11:46:06 +0000 (11:46 +0000)
commit34311f3f810eb893b865d1893eae1cf62cd490b4
tree8c37cd461e3cf884271357418c74e43037940851
parent31d160587c8d15e87959999025713395840c0b26
// in place of nauto everywhere
helm/software/matita/nlibrary/algebra/bool.ma
helm/software/matita/nlibrary/basics/eq.ma
helm/software/matita/nlibrary/depends
helm/software/matita/nlibrary/logic/destruct_bb.ma
helm/software/matita/nlibrary/sets/setoids1.ma
helm/software/matita/nlibrary/topology/cantor.ma
helm/software/matita/nlibrary/topology/igft2.ma
helm/software/matita/nlibrary/topology/igft3.ma