tree 96452f406c0b2513ef02d4235dd9939066d0980c
parent 3c9f0557dcacc55e10cc71340924c4f5a564173c
author Andreas Rossberg <rossberg@mpi-sws.org> 1759356947 +0200
committer Andreas Rossberg <rossberg@mpi-sws.org> 1759356947 +0200

[spec] Unbreak all_true again