diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-08-28 14:33:08 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-08-28 14:38:46 +0200 |
| commit | 8b1e0f64e3c2ada90452da301dc5a3a10f4983f8 (patch) | |
| tree | a5c8e11c3ac6bdc8e8b4087077bed13d1f29b10e /lib/hashset.ml | |
| parent | 7ce8f62d26c1dbe3791d81e97b95d79eee4c0153 (diff) | |
Cleaning and documenting a bit the Proofview.Refine module.
Diffstat (limited to 'lib/hashset.ml')
0 files changed, 0 insertions, 0 deletions