equal
deleted
inserted
replaced
4 Miscellaneous examples for Higher-Order Logic. |
4 Miscellaneous examples for Higher-Order Logic. |
5 *) |
5 *) |
6 |
6 |
7 no_document time_use_thy "Classpackage"; |
7 no_document time_use_thy "Classpackage"; |
8 no_document time_use_thy "Codegenerator"; |
8 no_document time_use_thy "Codegenerator"; |
|
9 no_document time_use_thy "CodeEmbed"; |
|
10 no_document time_use_thy "CodeRandom"; |
|
11 no_document time_use_thy "CodeRevappl"; |
9 |
12 |
10 time_use_thy "Higher_Order_Logic"; |
13 time_use_thy "Higher_Order_Logic"; |
11 time_use_thy "Abstract_NAT"; |
14 time_use_thy "Abstract_NAT"; |
12 time_use_thy "Guess"; |
15 time_use_thy "Guess"; |
13 |
16 |