Commit b3d3dc175099a61dbb1d61166baaea1358655dd0

Thomas de Grivel 2020-03-28T11:15:46

move rollback and lessp to cl-facts