proper document (cf. 9f5bfef8bd82);
authorwenzelm
Mon Oct 02 18:35:51 2017 +0200 (20 months ago)
changeset 66756a1b2ea991ad1
parent 66755 1ceedf710564
child 66757 e32750d7acb4
proper document (cf. 9f5bfef8bd82);
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Mon Oct 02 18:11:28 2017 +0200
     1.2 +++ b/src/HOL/ROOT	Mon Oct 02 18:35:51 2017 +0200
     1.3 @@ -751,7 +751,6 @@
     1.4    description {*
     1.5      Ordinals and Cardinals, Full Theories.
     1.6    *}
     1.7 -  options [document = false]
     1.8    theories
     1.9      Cardinals
    1.10      Bounded_Set