_CoqProject

-R theories Sudoku

theories/Div.v
theories/ListAux.v
theories/ListOp.v
theories/OrderedList.v
theories/Parse.v
theories/Permutation.v
theories/Print.v
theories/Sudoku.v
theories/Tactic.v
theories/Test.v
theories/UList.v
src/Extract.v