MixfixFormula.casl revision a91ba3a25448d1aa24aaa6f094316334187084d5
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maederforall aa,ab:s . aa <= ab => p
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maedernot (s(n) <= 0)
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maederi * q <= j * p
b4fbc96e05117839ca409f5f20f97b3ac872d1edTill Mossakowski(i * q) <= (j * p)
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maederc * (a + b) = (c * a) + (c * b)
413db961f13e112716509b6d61d7a7bbf50c98b2Christian Maeder(a + b) * c = (a * c) + (b * c)