Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Support for forget structure in user defined M...

Email Gateway (Nov 07 2024 at 16:11):

From: i n <cl-isabelle-users@lists.cam.ac.uk>
Hi,
    I'm wondering if wondering if it could be possible for ml_env.ML to expose some way to forget structures for user defined ML environments. either by exposing update_tables or making forget structure forget the structure in the current environment its in.
Thanks,
Irvin

Last updated: Jan 04 2025 at 20:18 UTC