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