Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] what are the basic axioms for function of func...

Email Gateway (Aug 22 2022 at 11:04):

From: Buday Gergely <gbuday@karolyrobert.hu>
Dear Martin,

could you detail this? Your example is not precise enough to say etc at the end.

• Gergely

Last updated: Jul 17 2026 at 02:48 UTC