| changeset 19281 | b411f25fff25 |
| parent 19241 | 613f374ea27d |
| child 19438 | 6d266e266b3f |
| 19280:5091dc43817b | 19281:b411f25fff25 |
|---|---|
55 else |
55 else |
56 (); |
56 (); |
57 |
57 |
58 time_use_thy "Refute_Examples"; |
58 time_use_thy "Refute_Examples"; |
59 time_use_thy "Quickcheck_Examples"; |
59 time_use_thy "Quickcheck_Examples"; |
60 no_document time_use_thy "Classpackage"; |
|
61 no_document time_use_thy "Codegenerator"; |
|
60 no_document time_use_thy "nbe"; |
62 no_document time_use_thy "nbe"; |
61 |
63 |
62 no_document use_thy "Word"; |
64 no_document use_thy "Word"; |
63 time_use_thy "Adder"; |
65 time_use_thy "Adder"; |
64 |
66 |