]> matita.cs.unibo.it Git - helm.git/commit
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)
commitd8e0b34863a7359fb54fdbf9d747d7b624713130
treee4bf3f8f5f51d79476e4bd53a53f7a9cb59191f7
parent0b624037994f740c1641ed6890dcadc49207ff13
fixed a list.nth called on a too short list
helm/software/components/tactics/proofEngineReduction.ml