Merge pull request #7 from ThGroth/cp

cp
Added headers to Thorsten's files
Bug removed.

Wrong sorting in precomputed set in GRIG_CON@.
Bug removed and use always Mealyelements in GrigCon@.