Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] what is the command to get the subgoal for use...

view this post on Zulip Email Gateway (Aug 22 2022 at 09:43):

From: Mandy Martin <tesleft@hotmail.com>
Hi,
what is the command to get the subgoals after apply rules for use in Isabelle programmingfor feedback programming ?

Regards,
Martin Lee

Last updated: Apr 30 2025 at 08:27 UTC