]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6904c4e) | patch
50 steps on goal are fine for irrat2
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 Oct 2006 15:17:01 +0000 (15:17 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 Oct 2006 15:17:01 +0000 (15:17 +0000)
commit67754d917af96623334ca9b8c1a16632d6c89391
tree2cffad5ce440457e0b34e7ff1fdce2c9af529819tree | snapshot
parent6904c4e6573f4e51884d4e0178adbf9e856ab276commit | diff
50 steps on goal are fine for irrat2
helm/software/components/tactics/auto.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.