Invariantentab

Deze tab in het hoofdvenster biedt een overzicht van de momenteel beschikbare invarianten. Als je ergens een invariant nodig hebt, kan je die simpelweg vanuit dit venster naar de gewenste locatie slepen.