equal
deleted
inserted
replaced
25 time_use_thy "Comp"; |
25 time_use_thy "Comp"; |
26 (*Allocator example*) |
26 (*Allocator example*) |
27 time_use_thy "Client"; |
27 time_use_thy "Client"; |
28 time_use_thy "Extend"; |
28 time_use_thy "Extend"; |
29 time_use_thy "PPROD"; |
29 time_use_thy "PPROD"; |
|
30 time_use_thy "TimerArray"; |
30 time_use_thy "Follows"; |
31 time_use_thy "Follows"; |
31 |
32 |
32 add_path "../Auth"; (*to find Public.thy*) |
33 add_path "../Auth"; (*to find Public.thy*) |
33 use_thy"NSP_Bad"; |
34 use_thy"NSP_Bad"; |
34 |
35 |