diff options
| author | Pierre-Marie Pédrot | 2016-03-19 01:43:29 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-03-19 02:49:03 +0100 |
| commit | ce2ffd090bd64963279cbbb84012d1b266ed9918 (patch) | |
| tree | 842afc28f891fa8516cbb86d1051b41686eb67a6 /kernel/nativevalues.mli | |
| parent | 65e0522033ea47ed479227be30a92fceaa8c6358 (diff) | |
Moving VernacSolve to an EXTEND-based definition.
Diffstat (limited to 'kernel/nativevalues.mli')
0 files changed, 0 insertions, 0 deletions