[isabelle] Declaring global attributes


I'm trying to declare an attribute using

declare [[foo = 3]]

I have this ML code:

ML {*
Config.declare_global "foo" (K (Config.Int 2));

But it complains about *** Unknown attribute: "foo". Is something else
needed for registering attributes?

Help will be appreciated. Thank you.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.