[isabelle] Declaring global attributes



Hi,

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.

John





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