OKlibrary  0.2.1.6
Lambda.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 3.8.2012 (Swansea) */
00002 /* Copyright 2012 Oliver Kullmann
00003 This file is part of the OKlibrary. OKlibrary is free software; you can redistribute
00004 it and/or modify it under the terms of the GNU General Public License as published by
00005 the Free Software Foundation and included in this library; either version 3 of the
00006 License, or any later version. */
00007 
00022 /* "lb" for lambda-term */
00023 
00024 /* Lambda-terms for "less/greater than" resp. "less/greater equal than": */
00025 ltlb(a) := buildq([a], lambda([x], is(x<a)))$
00026 lelb(a) := buildq([a], lambda([x], is(x<=a)))$
00027 gtlb(a) := buildq([a], lambda([x], is(x>a)))$
00028 gelb(a) := buildq([a], lambda([x], is(x>=a)))$
00029 
00030