Nominal-General/ROOT.ML
changeset 2568 8193bbaa07fe
parent 2567 41137dc935ff
child 2569 94750b31a97d
equal deleted inserted replaced
2567:41137dc935ff 2568:8193bbaa07fe
     1 
       
     2 no_document use_thys
       
     3    ["Nominal2_Base",
       
     4     "Nominal2_Eqvt",
       
     5     "Nominal2_Atoms",
       
     6     "Nominal2_Supp",
       
     7     "Atoms"];