diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-03-03 13:46:59 +0100 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-03-03 15:17:36 +0100 |
commit | 49a764bd81ac1b21130d54a1808ce95b9992a36d (patch) | |
tree | a3763c01ea07c1a33b8464c61de4bbcbc060c4f3 /tactics/elim.ml | |
parent | 78fab59413d2861c6414ccda47e2d70f25814523 (diff) |
Removing generic hashes in kernel.
Diffstat (limited to 'tactics/elim.ml')
0 files changed, 0 insertions, 0 deletions