src/HOL/Bali/Example.thy
changeset 16417 9bc16273c2d4
parent 14981 e73f8140af78
child 18447 da548623916a
equal deleted inserted replaced
16416:6061ae1f90f2 16417:9bc16273c2d4
     2     ID:         $Id$
     2     ID:         $Id$
     3     Author:     David von Oheimb
     3     Author:     David von Oheimb
     4 *)
     4 *)
     5 header {* Example Bali program *}
     5 header {* Example Bali program *}
     6 
     6 
     7 theory Example = Eval + WellForm:
     7 theory Example imports Eval WellForm begin
     8 
     8 
     9 text {*
     9 text {*
    10 The following example Bali program includes:
    10 The following example Bali program includes:
    11 \begin{itemize}
    11 \begin{itemize}
    12 \item class and interface declarations with inheritance, hiding of fields,
    12 \item class and interface declarations with inheritance, hiding of fields,