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