src/LCF/ROOT
changeset 66946 3d8fd98c7c86
parent 66444 6d2d993fa76e
child 69272 15e9ed5b28fb
     1.1 --- a/src/LCF/ROOT	Mon Oct 30 19:36:27 2017 +0100
     1.2 +++ b/src/LCF/ROOT	Mon Oct 30 20:04:10 2017 +0100
     1.3 @@ -10,7 +10,6 @@
     1.4      Useful references on LCF: Lawrence C. Paulson,
     1.5      Logic and Computation: Interactive proof with Cambridge LCF (CUP, 1987)
     1.6    *}
     1.7 -  options [document = false]
     1.8    sessions
     1.9      FOL
    1.10    theories
    1.11 @@ -21,4 +20,3 @@
    1.12      "ex/Ex2"
    1.13      "ex/Ex3"
    1.14      "ex/Ex4"
    1.15 -