Mike Gerwitz 281055327f Added support for \dept and authorized parties section		2013-08-20 14:54:10 -04:00
..
authparty.tex	Added support for \dept and authorized parties section	2013-08-20 14:54:10 -04:00
dev.tex	Added \top and \bot to definitions	2013-08-20 14:54:08 -04:00
ins.tex	dw* types that use ISO class codes in specs now use \classcode macro	2013-08-20 14:54:07 -04:00
spec.tex	Clarified shall and shall not definitions to state that the results are undefined if the requirement is not obeyed	2013-08-20 14:54:08 -04:00