| changeset 12785 | 27debaf2112d |
| parent 12588 | 0361fd72f1a7 |
| child 13646 | 46ed3d042ba5 |
| 12784:bab3b002cbbb | 12785:27debaf2112d |
|---|---|
1 (* Title: Pure/theory.ML |
1 (* Title: Pure/theory.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Lawrence C Paulson and Markus Wenzel |
3 Author: Lawrence C Paulson and Markus Wenzel |
4 Copyright 1996 University of Cambridge |
4 License: GPL (GNU GENERAL PUBLIC LICENSE) |
5 |
5 |
6 The abstract type "theory" of theories. |
6 The abstract type "theory" of theories. |
7 *) |
7 *) |
8 |
8 |
9 signature BASIC_THEORY = |
9 signature BASIC_THEORY = |