Searched refs:unConName (Results 1 – 3 of 3) sorted by relevance
61 unConName = unnumber(conName)62 addStdDefs(unConName"Xmp",conName,num)63 printf "\\begin{page}{%sXmpPage}{%s %s}\n",unConName,num,conName
253 data AnnConName = CN { unConName :: String } function
662 , ExactPrint.unConName con /= "ImportDecl"