MixfixTerms.hascasl.output revision 0427858b4ffac1f5f67ddcc0ace7e89511410bff
de03ed90ff6efbbc4751301bcf6b50d9790c1afbKarl Luc(-__)((__!)(a))
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens Elkner(__+__)(a, a)
de03ed90ff6efbbc4751301bcf6b50d9790c1afbKarl Luc(not__)((__=__)(a, a))
fe656923fef897857a32d6de89a3196571ca2427Eugen Kuksa(not__)((__+__)(a, a))
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu Prodescu(not__)((__+__)(s a, a))
de03ed90ff6efbbc4751301bcf6b50d9790c1afbKarl Luc(not__)((__<=__)(s n, 0))
fe656923fef897857a32d6de89a3196571ca2427Eugen Kuksa(def__)((__<=__)(s n, 0))
de03ed90ff6efbbc4751301bcf6b50d9790c1afbKarl Luc(__=>__)((not__)(a), b)
de03ed90ff6efbbc4751301bcf6b50d9790c1afbKarl Luc(__=>__)((not__)(s a), s b)
de03ed90ff6efbbc4751301bcf6b50d9790c1afbKarl Luc(__+__)(a, (def__)(a))
de03ed90ff6efbbc4751301bcf6b50d9790c1afbKarl Luc(__=__)((def__)(a), b)
de03ed90ff6efbbc4751301bcf6b50d9790c1afbKarl Luc(def__)((not__)((__=__)(a, a)))
de03ed90ff6efbbc4751301bcf6b50d9790c1afbKarl Luc(__=__)(a, (not__)(a))