1 

     1 

     2 theory NamedThms

     2 theory NamedThms

     3 imports Main

     3 imports Main

     4 begin

     4 begin

     5 

     5 

     6 text_raw {* 

     9 text_raw {* 

     8 

    10 

     9 \section*{Accumulate a list of theorems under a name} 

    11 \section*{Accumulate a list of theorems under a name} 

    10 *}

    12 *}

    11 

    13 

    12 text {*

    14 text {*