1 theory Ind_Intro

     1 theory Ind_Intro

     2 imports "../Base"

     2 imports "../Base"

     3 begin

     3 begin

     4 

     4 

    12 

     5 

    13 chapter {* How to Write a Definitional Package\label{chp:package} *}

     6 chapter {* How to Write a Definitional Package\label{chp:package} *}

    14 

     7 

    15 text {*

     8 text {*

    16    \begin{flushright}

     9    \begin{flushright}