added main books and papers of relation and discrete math
added simetry and transitivity and start db relational calculus example
added definition and theorem environment macros
clean up bibtex generated files
plan fo 2013 to discrete math course