[isabelle-dev] NEWS
Clemens Ballarin
ballarin at in.tum.de
Mon Oct 19 19:42:40 CEST 2009
Previous message (by thread):
[isabelle-dev] NEWS
Next message (by thread):
[isabelle-dev] NEWS
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
* Thoroughly revised locales tutorial. New section on conditional interpretation.
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