equal
deleted
inserted
replaced
26 time_use_thy "Reach"; |
26 time_use_thy "Reach"; |
27 time_use_thy "Handshake"; |
27 time_use_thy "Handshake"; |
28 time_use_thy "Lift"; |
28 time_use_thy "Lift"; |
29 time_use_thy "Comp"; |
29 time_use_thy "Comp"; |
30 time_use_thy "Client"; |
30 time_use_thy "Client"; |
31 (** |
|
32 time_use_thy "Extend"; |
31 time_use_thy "Extend"; |
33 time_use_thy "PPROD"; |
32 time_use_thy "PPROD"; |
34 **) |
|
35 |
33 |
36 add_path "../Auth"; (*to find Public.thy*) |
34 add_path "../Auth"; (*to find Public.thy*) |
37 use_thy"NSP_Bad"; |
35 use_thy"NSP_Bad"; |
38 |
36 |
39 reset_path (); |
37 reset_path (); |