Nominal-General/ROOT.ML
changeset 1774 c34347ec7ab3
parent 1773 c0eac04ae3b4
equal deleted inserted replaced
1773:c0eac04ae3b4 1774:c34347ec7ab3
       
     1 
       
     2 no_document use_thys
       
     3    ["Nominal2_Base",
       
     4     "Nominal2_Eqvt",
       
     5     "Nominal2_Atoms",
       
     6     "Nominal2_Supp",
       
     7     "Atoms"];