diff options
| -rw-r--r-- | lib/isabelle/manual/Manual.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/isabelle/manual/Manual.thy b/lib/isabelle/manual/Manual.thy index 760c1f7b..5286b754 100644 --- a/lib/isabelle/manual/Manual.thy +++ b/lib/isabelle/manual/Manual.thy @@ -59,7 +59,7 @@ This uses the following options: Isabelle definitions can then be generated by passing the @{verbatim "-isa"} flag to Lem. In order for Lem to find the Sail library, the subdirectories @{path "src/gen_lib"} and -and @{path "src/lem_interp"} of Sail will have to be added to Lem's include path using the +@{path "src/lem_interp"} of Sail will have to be added to Lem's include path using the @{verbatim "-lib"} option, e.g. @{verbatim [display] |