Added missing files FourierMotzkin and RationalExtras.
authorJoey Capper <jjc@cs.nott.ac.uk>
Thu, 15 Jul 2010 10:27:50 +0000 (11:27 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Thu, 15 Jul 2010 10:27:50 +0000 (11:27 +0100)
commitf47ff46fece4b6a1453986eee94e9f2487778a22
tree3394cad1ce86c60af930812f54b0ee88e2f618a1
parente5ebbd967e0af7f563b079519a9b008ee9844869
Added missing files FourierMotzkin and RationalExtras.
Agda/FourierMotzkin.agda [new file with mode: 0755]
Agda/RationalExtras.agda [new file with mode: 0755]