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;
aspinall@21637
     1
(*  Title:      Pure/ProofGeneral/pgip.ML
aspinall@21637
     2
    ID:         $Id$
aspinall@21637
     3
    Author:     David Aspinall
aspinall@21637
     4
aspinall@21637
     5
Prover-side PGIP abstraction.  
aspinall@21637
     6
Not too closely tied to Isabelle, to help with reuse/porting.
aspinall@21637
     7
*)
aspinall@21637
     8
aspinall@21637
     9
signature PGIP =
aspinall@21637
    10
sig
aspinall@21637
    11
    include PGIPTYPES
aspinall@21641
    12
    include PGIPMARKUP
aspinall@21637
    13
    include PGIPINPUT
aspinall@21641
    14
    include PGIPOUTPUT
aspinall@21637
    15
end
aspinall@21637
    16
aspinall@21637
    17
structure Pgip : PGIP = 
aspinall@21637
    18
struct
aspinall@21637
    19
   open PgipTypes
aspinall@21641
    20
   open PgipMarkup
aspinall@21637
    21
   open PgipInput
aspinall@21637
    22
   open PgipOutput
aspinall@21637
    23
end