[isabelle-dev] Constructing types from strings

munddr at gmail.com munddr at gmail.com
Fri May 13 17:50:44 CEST 2011

Hello all,

Is there a way to create a type out of a string? I know there's the  
antiquotation @{type...}, but if the string was stored as a value, eg, val  
str = "nat => nat", @{type str} doesn't seem to work.

Any help will be appreciated. Thanks.

- John
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20110513/8d39faa7/attachment.html>

More information about the isabelle-dev mailing list