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
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
