changeset 14620 | 1be590fd2422 |
parent 14516 | a183dec876ab |
child 16417 | 9bc16273c2d4 |
14619:8876ad83b1fb | 14620:1be590fd2422 |
---|---|
1 (* Title: HOL/Import/Generate-HOL/GenHOL4Vec.thy |
|
2 ID: $Id$ |
|
3 Author: Sebastian Skalberg (TU Muenchen) |
|
4 *) |
|
5 |
|
1 theory GenHOL4Vec = GenHOL4Base: |
6 theory GenHOL4Vec = GenHOL4Base: |
2 |
7 |
3 import_segment "hol4"; |
8 import_segment "hol4"; |
4 |
9 |
5 setup_dump "../HOL" "HOL4Vec"; |
10 setup_dump "../HOL" "HOL4Vec"; |