]> matita.cs.unibo.it Git - helm.git/commit
added lazy
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 1 Nov 2008 10:10:03 +0000 (10:10 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 1 Nov 2008 10:10:03 +0000 (10:10 +0000)
commit2e28a15694f110bd462aa447b5be883d48e1fb7d
tree9eb90897a63aa593632a59609211f0adb2187300
parentdb1552c8344acc3de1f0596d999170046eb0c8fa
added lazy
helm/software/components/tactics/auto.ml