Mike Gerwitz 9e8be87dcd Added insurance terminology		2013-08-21 13:45:41 -04:00
..
authparty.tex	Added abstract with copyright notice	2013-08-20 14:54:12 -04:00
dev.tex	Added bug and regression terms	2013-08-20 14:54:18 -04:00
ins.tex	Added insurance terminology	2013-08-21 13:45:41 -04:00
spec.tex	Added square and left arrow symbols to spec definitions	2013-08-20 14:54:10 -04:00