TheoryList.vo: TheoryList.v PolyList.vo ../ARITH/Le.vo ../ARITH/Lt.vo ../ARITH/Minus.vo ../BOOL/DecBool.vo
Streams.vo: Streams.v
PolyListSyntax.vo: PolyListSyntax.v PolyList.vo
PolyList.vo: PolyList.v ../ARITH/Le.vo
ListSet.vo: ListSet.v PolyList.vo
List.vo: List.v ../ARITH/Le.vo
TheoryList.html: TheoryList.v PolyList.html ../ARITH/Le.html ../ARITH/Lt.html ../ARITH/Minus.html ../BOOL/DecBool.html
Streams.html: Streams.v
PolyListSyntax.html: PolyListSyntax.v PolyList.html
PolyList.html: PolyList.v ../ARITH/Le.html
ListSet.html: ListSet.v PolyList.html
List.html: List.v ../ARITH/Le.html
