changeset 17648 | 7568d2cc560e |
parent 17644 | bd59bfd4bf37 |
child 17710 | 9a13e0abdb82 |
17647:bcf00e7b251b | 17648:7568d2cc560e |
---|---|
1 (* Title: HOL/Import/HOL/ROOT.ML |
1 (* Title: HOL/Import/HOL/ROOT.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Sebastian Skalberg (TU Muenchen) |
3 Author: Sebastian Skalberg (TU Muenchen) |
4 *) |
4 *) |
5 |
5 |
6 set show_types; set show_sorts; |
|
7 use_thy "HOL4Prob"; |
6 use_thy "HOL4Prob"; |
8 use_thy "HOL4"; |
7 use_thy "HOL4"; |