diff options
| author |  Matej Kosik <m4tej.kosik@gmail.com> | 2016-08-25 14:32:31 +0200 |
|---|---|---|
| committer | Matej Kosik <m4tej.kosik@gmail.com> | 2016-08-25 14:32:31 +0200 |
| commit | ed749e4fe3a32ecae145241f2ed9c9dd435c27d9 (patch) | |
| tree | dc09856cc474dabb4b87a2efcb0134967b11b557 /kernel/context.mli | |
| parent | a2b0c48d8b531ae1b193eed4dec1afeaa67fbece (diff) | |
FIX: Coq version
Diffstat (limited to 'kernel/context.mli')
0 files changed, 0 insertions, 0 deletions