1 files changed, 0 insertions, 73 deletions
diff --git a/contrib/ML4PG/libs/coq/test/peano_names b/contrib/ML4PG/libs/coq/test/peano_names
deleted file mode 100644
index 0ad40090..00000000
--- a/contrib/ML4PG/libs/coq/test/peano_names
+++ /dev/null
@@ -1,73 +0,0 @@
-1 . nil
-2 . app_nil_l
-3 . app_nil_l_shorter
-4 . app_nil_l_shorter'
-5 . app_nil_l2
-6 . app_nil_l2'
-7 . mult_n_O
-8 . mult_O_n
-9 . M15_c
-10 . O_minus
-11 . minus_O
-12 . plus_n_O
-13 . plus_0_n
-14 . addSn
-15 . mulSn
-16 . plus_n_Sm
-17 . plus_Sn_m
-18 . aux10
-19 . aux12
-20 . addnS
-21 . addnCA
-22 . M1_corrected
-23 . L1Mbutwithintros
-24 . M2
-25 . M3_1:
-26 . L31M
-27 . L31Mextrasimpl
-28 . M3_2
-29 . L32Mlessintro
-30 . L32Mintros
-31 . M3_3:
-32 . M3_4:
-33 . M4:
-34 . M8:
-35 . M16:
-36 . M10:
-37 . M13:
-38 . M14
-39 . M17
-40 . M18
-41 . M18'
-42 . M19
-43 . M20
-44 . M21
-45 . M22
-46 . M24
-47 . M25
-48 . M26
-49 . aux7
-50 . M31
-51 . M32
-52 . aux11
-53 . M36
-54 . M37
-55 . M38
-56 . M39
-57 . M40
-58 . M41
-59 . M42
-60 . M43
-61 . M44
-62 . mulnS
-63 . M27
-64 . M28
-65 . M29
-66 . M30
-67 . M33
-68 . M34
-69 . M35
-70 . M23
-71 . andb_false_r
-72 . M3_3b:
-73 . aux7_bis: