Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Maps -Tanks for help

view this post on Zulip Email Gateway (Aug 18 2022 at 13:02):

From: Andrzej Mazurkiewicz <andrzej@mazurkiewicz.org>
Many thanks to Tobias Nipkow and Brian Huffman for help.
Regards
Andrzej Mazurkiewicz

Sunday 22 of February 2009 17:27:30 Brian Huffman napisał(a):

Last updated: Jan 04 2025 at 20:18 UTC