../ semantic.dtx 28-Oct-2003 12:31 114K semantic.ins 28-Oct-2003 12:31 1309 semantic.pdf 27-Jun-2005 14:58 384K