43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder-__ __! a

25cc5fbba63f84b47e389af749f55abbbde71c8cChristian Maeder__+__(a, a)

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maedernot__ __=__(a, a)

25cc5fbba63f84b47e389af749f55abbbde71c8cChristian Maedernot__ __+__(a, a)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedernot__ __+__(s (a), a)

43b4c41fbb07705c9df321221ab9cb9832460407Christian Maedernot__ __<=__(s (n), 0)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder__<=__(def__ s (n), 0)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder__=>__(not__ a, b)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder__=>__(not__ s (a), s (b))

43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder__=__(def__ a, b)

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder__*__(__@@__(1, 0), b (n div 1 @@ 0))

d8c71aacc9f1c8cd40a8ad8dcdad9be8854b849fChristian Maeder__when__else__(__@@__(1, 0), __<__(n, __@@__(1, 0)),

f2f9df2e17e70674f0bf426ed1763c973ee4cde0Christian Maeder __*__(__@@__(1, 0), b (n div 1 @@ 0)))

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder__=__(m (m, n), __when__else__(m, __<=__(m, n), n))

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder__<=>__(__<__(__div__(i, p), __div__(j, q)),

5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder __<__(__*__(i, q), __*__(j, p)))

96646aed2ae087b942ae23f15bbe729a8f7c43d3Christian Maeder__=__(__+__(f, -__ f), f)

c90087f49069855bf684b699f9ca1e2d65eac20bChristian Maeder__=__(__+__(__+__(-__ f, -__ f), -__ f),

96646aed2ae087b942ae23f15bbe729a8f7c43d3Christian Maeder __+__(__+__(-__ f, -__ f), -__ f))

01e383014b555bbcf639c0ca60c5810b3eff83c0Christian Maeder__none__but__(f (a), a, f (a))

83394c6b6e6de128e71b67c9251ed7a84485d082Christian Maeder__one__done(f (a), a)

83394c6b6e6de128e71b67c9251ed7a84485d082Christian Maeder__-->__(f (a), f (a))

abf2487c3aece95c371ea89ac64319370dcb6483Klaus Luettich__<=__(s (a), 0)

ce8b15da31cd181b7e90593cbbca98f47eda29d6Till Mossakowskinot__ if__then__else__(if__then__else__(a, b, c), b, c)

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder__when__else__(a, exists . true, b)

e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder__=__(__:::__(__*__(a, b), a (b)), __:::__(a, b))

63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder