/Source/Dafny/Triggers/

• ../
• QuantifierSplitter.cs
• QuantifiersCollection.cs
• QuantifiersCollector.cs
• TriggerExtensions.cs
• TriggerUtils.cs
• TriggersCollector.cs