Commit 7849e27baca9c0ec262af89b1e19cefd897ff707

Thomas de Grivel 2020-05-22T11:45:17

modal-logic: simplify definitions