| changeset 12785 | 27debaf2112d |
| parent 12588 | 0361fd72f1a7 |
| child 14383 | 09aab4710789 |
| 12784:bab3b002cbbb | 12785:27debaf2112d |
|---|---|
1 (* Title: Pure/sign.ML |
1 (* Title: Pure/sign.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Lawrence C Paulson and Markus Wenzel |
3 Author: Lawrence C Paulson and Markus Wenzel |
4 License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
4 |
5 |
5 The abstract type "sg" of signatures. |
6 The abstract type "sg" of signatures. |
6 *) |
7 *) |
7 |
8 |
8 (*base names*) |
9 (*base names*) |