* New command 'supply' supports fact definitions during goal refinement
('apply' scripts).
This refers e.g. to Isabelle/051b200f7578.
The command is not particularly exciting on its own, but it will
eventually fit together with some other Eisbach spin-offs that are still
in the pileline: most notably the 'subgoal' focus command for structured
'apply' scripts.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
