changeset 19048 | 2b875dd5eb4c |
parent 18836 | 3a1e4ee72075 |
child 19121 | d7fd5415a781 |
--- a/src/Pure/Pure.thy Wed Feb 15 21:34:57 2006 +0100 +++ b/src/Pure/Pure.thy Wed Feb 15 21:34:59 2006 +0100 @@ -10,9 +10,7 @@ imports ProtoPure begin -subsection {* Common setup of internal components *} - -setup +setup -- {* Common setup of internal components *} subsection {* Meta-level connectives in assumptions *}