* Command 'typ' supports an additional variant with explicit sort constraint, to infer and check the most general type conforming to a given given sort. Example (in HOL):
typ "_ * _ * bool * unit" :: finite
This refers to Isabelle/4aa5b965f70e.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
