]> matita.cs.unibo.it Git - helm.git/tree
8381ad3f58409487248f6066d85ab71dbb359f5c
-rw-r--r-- 1976 Arith.mma
-rw-r--r-- 4523 Between.mma
-rw-r--r-- 2797 Bool_nat.mma
-rw-r--r-- 2695 Compare.mma
-rw-r--r-- 3188 Compare_dec.mma
-rw-r--r-- 2355 Div.mma
-rw-r--r-- 3926 Div2.mma
-rw-r--r-- 2651 EqNat.mma
-rw-r--r-- 2136 Euclid.mma
-rw-r--r-- 4140 Even.mma
-rw-r--r-- 2176 Factorial.mma
-rw-r--r-- 4205 Gt.mma
-rw-r--r-- 3475 Le.mma
-rw-r--r-- 4598 Lt.mma
-rw-r--r-- 2650 Max.mma
-rw-r--r-- 2651 Min.mma
-rw-r--r-- 3538 Minus.mma
-rw-r--r-- 4603 Mult.mma
-rw-r--r-- 2102 Peano_dec.mma
-rw-r--r-- 4822 Plus.mma
-rw-r--r-- 4917 Wf_nat.mma