[isabelle-dev] NEWS
Makarius
makarius at sketis.net
Tue Apr 15 18:52:50 CEST 2008
Previous message (by thread):
[isabelle-dev] NEWS
Next message (by thread):
[isabelle-dev] NEWS
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
* Command 'hide' now allows to hide from "fact" name space as well.
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