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: Mar 28 2024 at 08:18 UTC