Stream: Archive Mirror: Isabelle Users Mailing List

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

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: Sep 02 2026 at 08:32 UTC