# This file was automatically generated - see ../Makefile
-R . Lib
-arg -w
-arg all

Bitwise.v 
BlanketImpl.v 
Constants.v 
Issue194RecursiveStructProjector.v 
Issue270LoopList.v 
NoNestedBorrows.v 
Paper.v 
PoloniusList.v 
Primitives.v 
RenameAttribute.v 
Traits.v
