diff options
Diffstat (limited to 'contrib/ML4PG/libs/coq/test/peano_names')
| -rw-r--r-- | contrib/ML4PG/libs/coq/test/peano_names | 73 |
1 files changed, 73 insertions, 0 deletions
diff --git a/contrib/ML4PG/libs/coq/test/peano_names b/contrib/ML4PG/libs/coq/test/peano_names new file mode 100644 index 00000000..0ad40090 --- /dev/null +++ b/contrib/ML4PG/libs/coq/test/peano_names @@ -0,0 +1,73 @@ +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: |