]> matita.cs.unibo.it Git - helm.git/commit
added lazy
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 19 Feb 2010 07:38:54 +0000 (07:38 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 19 Feb 2010 07:38:54 +0000 (07:38 +0000)
commit44080f418c87583c71c816f4c34a2bffea90bab5
treeaf3c918d32153d0ceef35a8e9f6169319e7aa1f8
parentf6fdc9a280341b52ba0ec7a770e1abd552e6b704
added lazy
helm/software/components/ng_tactics/nnAuto.ml