src/HOL/Bali/ROOT.ML
changeset 12962 a24ffe84a06a
parent 12859 f63315dfffd4
child 13337 f75dfc606ac7
equal deleted inserted replaced
12961:cd4f8d5c6450 12962:a24ffe84a06a
     1 
       
     2 use_thy "AxExample";
     1 use_thy "AxExample";
     3 use_thy "AxSound";
     2 use_thy "AxSound";
     4 use_thy "AxCompl";
     3 use_thy "AxCompl";