]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/contribs/lambdadelta/bin/recomm/bGroundArith.mrc
projects / helm.git / blob
? search:


6cb8859316492bc0907f75298db46dc6be1d9a91
[helm.git] / matita / matita / contribs / lambdadelta / bin / recomm / bGroundArith.mrc
1 PcsAnd b "" true false
2 ple
3 plt
4 niter
5 ntri
6 nsucc
7 npred
8 nplus
9 nminus
10 nmax
11 nle
12 nlt
13 ysucc
14 ypred
15 yplus
16 ylminus, yminus
17 yle
18 ylt
Unnamed repository; edit this file 'description' to name the repository.