src/Pure/ProofGeneral/pgip.ML
changeset 21641 d73ab30e82dc
parent 21637 a7b156c404e2
child 29606 fedb8be05f24
equal deleted inserted replaced
21640:9811f1560d38 21641:d73ab30e82dc
     7 *)
     7 *)
     8 
     8 
     9 signature PGIP =
     9 signature PGIP =
    10 sig
    10 sig
    11     include PGIPTYPES
    11     include PGIPTYPES
       
    12     include PGIPMARKUP
    12     include PGIPINPUT
    13     include PGIPINPUT
    13     include PGIPOUTPUT			    
    14     include PGIPOUTPUT
    14 end
    15 end
    15 
    16 
    16 structure Pgip : PGIP = 
    17 structure Pgip : PGIP = 
    17 struct
    18 struct
    18    open PgipTypes
    19    open PgipTypes
       
    20    open PgipMarkup
    19    open PgipInput
    21    open PgipInput
    20    open PgipOutput
    22    open PgipOutput
    21 end
    23 end
    22