[isabelle] soundness bugs?



Would anyone know how many soundness bugs have been found in released
versions of Isabelle/HOL since the first release? I need to extol the
virtues of LCF-style implementations. TIA. 

Cheers,
Hasan






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.