Re: [isabelle] Type definitions in Isabelle; article "A Consistent Foundation for Isabelle/HOL" by KunÄar/Popescu

I just want to point out explicitly that I am no longer paying attention
to this very strange thread.

At the level of abstraction of the discussion, Isabelle is indeed
"inconsistent" and that is not going to change in the foreseeable future.


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