]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b763e29) | patch
to avoid a case of divergence small_delta_step checks if terms are flexible and
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 2 Oct 2008 12:04:36 +0000 (12:04 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 2 Oct 2008 12:04:36 +0000 (12:04 +0000)
commit9789f64df12f9a5d5982141ed042820b5c9c1303
tree6abf2bde3270efb32f9c5dc6ebc6646b3374de81tree | snapshot
parentb763e29c46531b2bee8fabd35fa33746f0784d3bcommit | diff
to avoid a case of divergence small_delta_step checks if terms are flexible and
gives 0 as delta
helm/software/components/ng_refiner/nCicUnification.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.