-
Ike Mulder authored
Renamed ModalityEC -> StrongMono, deprecated BiAbd without -, removed dead code, added Hint Modes, added notation for empty_hyps.
3c9369ff
Renamed ModalityEC -> StrongMono, deprecated BiAbd without -, removed dead code, added Hint Modes, added notation for empty_hyps.