natural numbers added⎈
added addition and multiplication of natural numnbers
proof of associativity and commutativity hard way
now uses equational reasoning
Merged some basic stuff in agda
Basic logic in agda
an equality module for Sets
documenting Equality module
Natural numbers using our own equality module
added red-black tree
Merging agda code to the master trunk