prio/ROOT.ML
changeset 262 4190df6f4488
equal deleted inserted replaced
261:12e9aa68d5db 262:4190df6f4488
       
     1 use_thy "CpsG"; 
       
     2 use_thy "ExtGG";