proof sessions updated

parent f480a217
This source diff could not be displayed because it is too large. You can view the blob instead.
This diff is collapsed.
......@@ -226,6 +226,8 @@ theory Bits "the 1-bits of an integer, as a set of integers"
end
(***
module NQueensBits
use import Bits
......@@ -307,4 +309,4 @@ module NQueensBits
end
(***)
***)
This diff is collapsed.
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