src/Cube/ROOT
changeset 66946 3d8fd98c7c86
parent 51403 2ff3a5589b05
child 69272 15e9ed5b28fb
     1.1 --- a/src/Cube/ROOT	Mon Oct 30 19:36:27 2017 +0100
     1.2 +++ b/src/Cube/ROOT	Mon Oct 30 20:04:10 2017 +0100
     1.3 @@ -13,6 +13,4 @@
     1.4      For more information about the Lambda-Cube, see H. Barendregt, Introduction
     1.5      to Generalised Type Systems, J. Functional Programming.
     1.6    *}
     1.7 -  options [document = false]
     1.8    theories Example
     1.9 -