tree b6c51e5527fc074b86488e6dbd1a5644dfd9b246
parent f9ab868f4c62da314435e9cc5317d22131e52d58
author Nico Huber <nico.huber@secunet.com> 1706542427 +0100
committer Nico Huber <nico.huber@secunet.com> 1706542427 +0100

isofs: Assist proofs