verify: new macro 'assume'
[gnulib.git] / modules / ffsll
2011-10-10 Tom G. Christensenffsll: set correct witness
2011-07-15 Eric Blakeffsl, ffsll: new modules