Added Cards

Added cards for 1.1, 1.2, 1.3, 1.4.
Added IEEEtrantools.sty
Added Definition environment.