CoRN.tactics.CornTac

Generic Tacticals used by the CoRN project