1 (* Title: Pure/ProofGeneral/pgip_types.ML
1 (* Title: Pure/ProofGeneral/pgml.ML
2 ID: $Id$
3 Author: David Aspinall
4
5 PGIP abstraction: PGML
6 *)