v1.6.0.2
  1. intellij-arend
  2. src
  3. main
  4. kotlin
  5. org
  6. arend
  7. quickfix
  8. removers
Name
..
RemoveArgumentQuickFix.kt
RemoveAsPatternQuickFix.kt
RemoveClauseQuickFix.kt
RemoveCoClauseQuickFix.kt
RemovePatternRightHandSideQuickFix.kt
RemovePatternsQuickFix.kt
RemoveTupleExprQuickFix.kt
ReplaceWithWildcardPatternQuickFix.kt