equal
deleted
inserted
replaced
1 |
|
2 <!-- Title: Pure/pgip_isar.xml |
1 <!-- Title: Pure/pgip_isar.xml |
3 ID: $Id$ |
|
4 Author: David Aspinall, University of Edinburgh |
2 Author: David Aspinall, University of Edinburgh |
5 Christoph Lüth, University of Bremen |
3 Author: Christoph Lüth, University of Bremen |
6 |
4 |
7 This file contains the configuration messages which configure |
5 This file contains the configuration messages which configure |
8 PGIP interfaces for Isabelle/Isar, in particular, explaining |
6 PGIP interfaces for Isabelle/Isar, in particular, explaining |
9 internal types of objects and operations available on them. |
7 internal types of objects and operations available on them. |
10 |
8 |