-
Florian Brandner authored
* less direct proofs * instead use general properties of the FIFO implementation
Florian Brandner authored* less direct proofs * instead use general properties of the FIFO implementation
* less direct proofs * instead use general properties of the FIFO implementation
* less direct proofs * instead use general properties of the FIFO implementation