equal
deleted
inserted
replaced
1 (* Title: HOL/Import/Generate-HOL/ROOT.ML |
|
2 ID: $Id$ |
|
3 Author: Sebastian Skalberg (TU Muenchen) |
|
4 *) |
|
5 |
|
6 use_thy "GenHOL4Prob"; |
1 use_thy "GenHOL4Prob"; |
7 use_thy "GenHOL4Vec"; |
2 use_thy "GenHOL4Vec"; |
8 use_thy "GenHOL4Word32"; |
3 use_thy "GenHOL4Word32"; |