diff options
| author |  Paul Steckler <steck@stecksoft.com> | 2017-05-24 11:14:51 -0400 |
|---|---|---|
| committer | Paul Steckler <steck@stecksoft.com> | 2017-05-24 11:14:51 -0400 |
| commit | c9e9c691c353d5d4835551de8d7d1f4c0ec74b9f (patch) | |
| tree | f89d20d989b309730281d4266b734e0adaed1867 /contrib/ML4PG/libs/ssreflect/coqeal/seqmatrix_names | |
| parent | afb29a670c537412d09cec703da7e8821c658196 (diff) | |
Remove mmm and ML4PG contribs and remove references to them in code and docs
Diffstat (limited to 'contrib/ML4PG/libs/ssreflect/coqeal/seqmatrix_names')
| -rw-r--r-- | contrib/ML4PG/libs/ssreflect/coqeal/seqmatrix_names | 49 |
1 files changed, 0 insertions, 49 deletions
diff --git a/contrib/ML4PG/libs/ssreflect/coqeal/seqmatrix_names b/contrib/ML4PG/libs/ssreflect/coqeal/seqmatrix_names deleted file mode 100644 index 694a3a2d..00000000 --- a/contrib/ML4PG/libs/ssreflect/coqeal/seqmatrix_names +++ /dev/null @@ -1,49 +0,0 @@ -1 ord_enum_eqE -2 eq_mkseqmx_ord -3 fun_of_seqmxE -4 mkseqmxE -5 size_seqmx -6 seqmxE -7 seqmx_is_trans -8 seqmx0n -9 seqmxm0 -10 inj_seqmx_of_mx -11 seqmx_eqP -12 size_row_seqmx -13 size_row_mkseqmx -14 seqmxP -15 seqmx_of_funE -16 map_seqmxE -17 zipwithseqmxE -18 addseqmxE: - -19 oppseqmxE: - -20 subseqmxE: - -21 size_trseqmx -22 size_row_trseqmx -23 trseqmxE -24 const_seqmxE -25 seqmx0E -26 minSS -27 usubseqmxE -28 dsubseqmxE -29 lsubseqmxE -30 rsubseqmxE -31 ulsubseqmxE -32 ursubseqmxE -33 dlsubseqmxE -34 drsubseqmxE -35 size_row_row_seqmx -36 row_seqmxE -37 size_row_col_seqmx -38 col_seqmxE -39 colseqmxE -40 block_seqmxE -41 cast_seqmx -42 scalar_seqmxE -43 delta_seqmxE -44 seqmx1E -45 scaleseqmxE -46 seqmx_of_mx_eq0 |