Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [isabelle-dev] simplification theorems generat...


view this post on Zulip Email Gateway (Aug 18 2022 at 17:58):

From: Brian Huffman <brianh@cs.pdx.edu>
I am reposting my response to the Isabelle-users mailing list (from
the dev list) since that is the proper venue for this question...


Last updated: Mar 28 2024 at 20:16 UTC