| changeset 29606 | fedb8be05f24 |
| parent 29091 | b81fe045e799 |
| child 29858 | c8cee17d7e50 |
| 29605:f2924219125e | 29606:fedb8be05f24 |
|---|---|
1 (* Title: Pure/display.ML |
1 (* Title: Pure/display.ML |
2 ID: $Id$ |
|
3 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
2 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
4 Copyright 1993 University of Cambridge |
3 Copyright 1993 University of Cambridge |
5 |
4 |
6 Printing of theorems, goals, results etc. |
5 Printing of theorems, goals, results etc. |
7 *) |
6 *) |