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"; |
9 no_document time_use_thy "CodeOperationalEquality"; |
|
10 no_document time_use_thy "CodeEval"; |
10 no_document time_use_thy "CodeRandom"; |
11 no_document time_use_thy "CodeRandom"; |
11 no_document time_use_thy "CodeRevappl"; |
|
12 |
12 |
13 time_use_thy "Higher_Order_Logic"; |
13 time_use_thy "Higher_Order_Logic"; |
14 time_use_thy "Abstract_NAT"; |
14 time_use_thy "Abstract_NAT"; |
15 time_use_thy "Guess"; |
15 time_use_thy "Guess"; |
16 |
16 |