Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Clash of types

Email Gateway (Aug 19 2022 at 16:32):

From: mahmoud abdelazim <m.abdelazim@icloud.com>
Hi
AExp.thy
BExp.thy
Com.thy
Hoare.thy

Last updated: Sep 08 2025 at 16:25 UTC