Commit fb11fb6d authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix typos in examples.

parent 2cd6e016
......@@ -3,7 +3,7 @@
Note: function "fact" from module int.Fact (already imported)
can be used in specifications.
Questions :
Questions:
1. In module FactRecursive:
......
......@@ -16,7 +16,7 @@
(the corresponding module ArrayPermut is already imported).
You can refer to the contents of array a at the beginning of the
function with notation (at a 'Init).
function with notation "a at Init".
*)
module TwoWaySort
......
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