Mike Gerwitz 6e80dace89 Added monoline and package definitions		2013-08-20 14:54:16 -04:00
..
authparty.tex	Added abstract with copyright notice	2013-08-20 14:54:12 -04:00
dev.tex	Added authorization parties for all existing spec content	2013-08-20 14:54:10 -04:00
ins.tex	Added monoline and package definitions	2013-08-20 14:54:16 -04:00
spec.tex	Added square and left arrow symbols to spec definitions	2013-08-20 14:54:10 -04:00