ssreflect driver (wip)

9da3f5d8 · Jean-Christophe Filliâtre · ae90b04c · 9da3f5d8
Commit 9da3f5d8 authored Jun 30, 2015 by Jean-Christophe Filliâtre
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

drivers/coq-ssreflect.drv drivers/coq-ssreflect.drv +3 -0

No files found.
--- a/drivers/coq-ssreflect.drv
+++ b/drivers/coq-ssreflect.drv
@@ -128,5 +128,8 @@ theory matrix.Matrix
  syntax function get "(matrix_get %1 %2)"
  syntax function rows "(nrows %1 : int)"
  syntax function columns "(ncols %1 : int)"
+  syntax function elts "(matrix_get_curry %1)"
+  syntax function set "(matrix_set %1 %2 %3)"
+  syntax function make "(matrix_make %1 %2)"

 end