Nominal/FROOT.ML
branchNominal2-Isabelle2012
changeset 3171 f5057aabf5c0
parent 3170 89715c48f728
equal deleted inserted replaced
3170:89715c48f728 3171:f5057aabf5c0
     1 
       
     2 
       
     3 no_document use_thys
       
     4    ["Nominal2",
       
     5     "Atoms",
       
     6     "Eqvt"
       
     7    ];
       
     8 
       
     9 
       
    10