author | wenzelm |
Mon, 14 Apr 2008 14:28:47 +0200 | |
changeset 26643 | 99f5407c05ef |
parent 21641 | d73ab30e82dc |
child 29606 | fedb8be05f24 |
permissions | -rw-r--r-- |
(* Title: Pure/ProofGeneral/pgip.ML ID: $Id$ Author: David Aspinall Prover-side PGIP abstraction. Not too closely tied to Isabelle, to help with reuse/porting. *) signature PGIP = sig include PGIPTYPES include PGIPMARKUP include PGIPINPUT include PGIPOUTPUT end structure Pgip : PGIP = struct open PgipTypes open PgipMarkup open PgipInput open PgipOutput end