[isabelle-dev] sgn
Tobias Nipkow
nipkow at in.tum.de
Thu Aug 30 21:45:05 CEST 2007
Previous message (by thread):
[isabelle-dev] Quick and dirty update of theory ?
Next message (by thread):
[isabelle-dev] sgn
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
* new function "sgn" on ordered_idom, hence in particular on int and real.
Previous message (by thread):
[isabelle-dev] Quick and dirty update of theory ?
Next message (by thread):
[isabelle-dev] sgn
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the isabelle-dev mailing list