ROOT.ML
changeset 195 6b26b1fd4da5
parent 194 b32b3bd99150
child 196 704fd8749dad
equal deleted inserted replaced
194:b32b3bd99150 195:6b26b1fd4da5
     1 use_thy "CpsG"; 
       
     2 use_thy "ExtGG";