[isabelle-dev] NEWS
Tobias Nipkow
nipkow at in.tum.de
Tue Sep 18 08:30:12 CEST 2007
Previous message (by thread):
[isabelle-dev] ATP prover default locations
Next message (by thread):
[isabelle-dev] NEWS
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
* new functions sorted and sort in List. Tobias
Previous message (by thread):
[isabelle-dev] ATP prover default locations
Next message (by thread):
[isabelle-dev] NEWS
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the isabelle-dev mailing list