revise
open fun reviseAll(propositions: List<Proposition>, repository: PropositionRepository): List<RevisionResult>
Revise multiple propositions, returning results for each.
Return
List of revision results
Parameters
propositions
The propositions to revise
repository
The proposition repository