[isabelle-dev] NEWS
Makarius
makarius at sketis.net
Wed Sep 19 11:50:39 CEST 2007
Previous message (by thread):
[isabelle-dev] NEWS
Next message (by thread):
[isabelle-dev] NEWS
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
* ML basics: just one true type int, which coincides with IntInf.int (even on SML/NJ).
Previous message (by thread):
[isabelle-dev] NEWS
Next message (by thread):
[isabelle-dev] NEWS
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the isabelle-dev mailing list