1
1 set timing;
2 update_thy "AxExample";
3 update_thy "AxSound";
4 update_thy "AxCompl";
5 update_thy "Trans";