diff options
| author |  Matej Kosik <m4tej.kosik@gmail.com> | 2016-08-25 13:53:00 +0200 |
|---|---|---|
| committer | Matej Kosik <m4tej.kosik@gmail.com> | 2016-08-25 13:53:00 +0200 |
| commit | 7244637f251272c0d0155d49fc7c1af255b7cef8 (patch) | |
| tree | ccf85464c363b5c19929130dbbd9d6717c827c61 /kernel/declareops.ml | |
| parent | dd4654ce6f1808cc19c701219b4bad120b7f2271 (diff) | |
FIX: Coq version
Diffstat (limited to 'kernel/declareops.ml')
0 files changed, 0 insertions, 0 deletions