diff options
author | 2016-08-25 14:32:31 +0200 | |
---|---|---|
committer | 2016-08-25 14:32:31 +0200 | |
commit | ed749e4fe3a32ecae145241f2ed9c9dd435c27d9 (patch) | |
tree | dc09856cc474dabb4b87a2efcb0134967b11b557 /kernel/conv_oracle.mli | |
parent | a2b0c48d8b531ae1b193eed4dec1afeaa67fbece (diff) |
FIX: Coq version
Diffstat (limited to 'kernel/conv_oracle.mli')
0 files changed, 0 insertions, 0 deletions