Stream:
Archive Mirror: Isabelle Users Mailing List
Topic:
[isabelle] Issue 8
Email Gateway
(Aug 18 2022 at 18:48)
:
From: Jens Doll <
jd@cococo.de
>
I like Kim.
Jens
Last updated: Feb 01 2025 at 20:19 UTC