Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] The two characteristics of an antinomy: self-r...

Email Gateway (Aug 22 2022 at 17:34):

From: Ken Kubota <mail@kenkubota.de>
Forwarded message:

Last updated: Apr 26 2024 at 20:16 UTC