src/CCL/ROOT
changeset 66946 3d8fd98c7c86
parent 66444 6d2d993fa76e
child 69272 15e9ed5b28fb
     1.1 --- a/src/CCL/ROOT	Mon Oct 30 19:36:27 2017 +0100
     1.2 +++ b/src/CCL/ROOT	Mon Oct 30 20:04:10 2017 +0100
     1.3 @@ -10,7 +10,6 @@
     1.4      A computational logic for an untyped functional language with
     1.5      evaluation to weak head-normal form.
     1.6    *}
     1.7 -  options [document = false]
     1.8    sessions
     1.9      FOL
    1.10    theories
    1.11 @@ -22,4 +21,3 @@
    1.12      "ex/List"
    1.13      "ex/Stream"
    1.14      "ex/Flag"
    1.15 -