src/Pure/ProofGeneral/pgip.ML
author wenzelm
Fri Jun 13 21:04:42 2008 +0200 (2008-06-13)
changeset 27195 bbf4cbc69243
parent 21641 d73ab30e82dc
child 29606 fedb8be05f24
permissions -rw-r--r--
map_const: soft version, no failure here;
     1 (*  Title:      Pure/ProofGeneral/pgip.ML
     2     ID:         $Id$
     3     Author:     David Aspinall
     4 
     5 Prover-side PGIP abstraction.  
     6 Not too closely tied to Isabelle, to help with reuse/porting.
     7 *)
     8 
     9 signature PGIP =
    10 sig
    11     include PGIPTYPES
    12     include PGIPMARKUP
    13     include PGIPINPUT
    14     include PGIPOUTPUT
    15 end
    16 
    17 structure Pgip : PGIP = 
    18 struct
    19    open PgipTypes
    20    open PgipMarkup
    21    open PgipInput
    22    open PgipOutput
    23 end