[isabelle-dev] NEWS

[Amine Chaieb]

At last Guru!!!!

On Wed, 19 Sep 2007, Makarius wrote:

> * ML basics: just one true type int, which coincides with IntInf.int
> (even on SML/NJ).
> _______________________________________________
> Isabelle-dev mailing list
> Isabelle-dev at mailbroy.informatik.tu-muenchen.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>