src/Pure/pure.ML
author wenzelm
Mon Jun 29 21:33:35 1998 +0200 (1998-06-29)
changeset 5092 e443bc494604
child 5211 c02b0c727780
permissions -rw-r--r--
moved actual (C)Pure theories to pure.ML;
     1 (*  Title:      Pure/pure.ML
     2     ID:         $Id$
     3     Author:     Markus Wenzel, TU Muenchen
     4 
     5 The actual Pure and CPure theories.
     6 *)
     7 
     8 structure Pure =
     9 struct
    10 
    11 val thy =
    12   PureThy.begin_theory "Pure" [ProtoPure.thy]
    13   |> Theory.add_syntax Syntax.pure_appl_syntax
    14   |> PureThy.end_theory;
    15 
    16 end;
    17 
    18 
    19 structure CPure =
    20 struct
    21 
    22 val thy =
    23   PureThy.begin_theory "CPure" [ProtoPure.thy]
    24   |> Theory.add_syntax Syntax.pure_applC_syntax
    25   |> PureThy.end_theory;
    26 
    27 end;