diff options
Diffstat (limited to 'lib/isabelle/ROOT')
| -rw-r--r-- | lib/isabelle/ROOT | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/lib/isabelle/ROOT b/lib/isabelle/ROOT new file mode 100644 index 00000000..7e90cdf0 --- /dev/null +++ b/lib/isabelle/ROOT @@ -0,0 +1,18 @@ +session "Sail" = "LEM" + + options [document = false] + theories + Sail_values + State + Prompt + Sail_operators + Sail_operators_mwords + +(*session "Sail" = "Sail_Base" + + options [document = false] + theories + Sail_operators + +session "Sail_Word" = "Sail_Base" + + options [document = false] + theories + Sail_operators_mwords*) |