Commit 47ddeaa0 authored by Martin Clochard's avatar Martin Clochard

update proof sessions

parent 7c1dbac9
......@@ -27,7 +27,6 @@ random_access_list.mlw
register_allocation.mlw
residual.mlw
rightmostbittrick.mlw
schorr_waite_via_recursion.mlw
sieve.mlw
sudoku.mlw
sum_of_digits.mlw
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment