v1.2.0
  1. intellij-arend
  2. src
  3. main
  4. kotlin
  5. org
  6. arend
  7. quickfix
Name
..
implementCoClause
referenceResolve
removers
ImplementMissingClausesQuickFix.kt
MakePatternExplicitQuickFix.kt
MisplacedImportQuickFix.kt
RenameDuplicateNameQuickFix.kt
ReplaceAbsurdPatternQuickFix.kt