]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 13583dd) | patch
fixed a list.nth called on a too short list
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 17 Apr 2007 08:41:09 +0000 (08:41 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 17 Apr 2007 08:41:09 +0000 (08:41 +0000)
commit2d0ff020fc7100546d4f87560062721cd401ccae
tree7317c717cfe7d345e7b42f92497f1392b7d68599tree | snapshot
parent13583dde3f1abdf21a2f72f9a8a2cc079b8558b5commit | diff
fixed a list.nth called on a too short list
components/tactics/proofEngineReduction.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.