]> matita.cs.unibo.it Git - helm.git/commit
refreshing of inferred type was missing
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 16 Mar 2010 15:34:34 +0000 (15:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 16 Mar 2010 15:34:34 +0000 (15:34 +0000)
commit6c3b2a89bd14bb8a96e56565b725dd635effc2e5
tree2814b5240d7641e2ad4644bb4dd129ecf8836cc1
parent2371237a27b5fa23f741e381073a48d84bc6a906
refreshing of inferred type was missing
helm/software/components/ng_tactics/nnAuto.ml