[isabelle-dev] NEWS

Wed, 19 Sep 2007 11:50:39 +0200 (CEST) 

* ML basics: just one true type int, which coincides with IntInf.int
(even on SML/NJ).

Reply via email to