[isabelle-dev] sgn

Tobias Nipkow nipkow at in.tum.de
Thu Aug 30 21:45:05 CEST 2007


* new function "sgn" on ordered_idom, hence in particular on int and real.


More information about the isabelle-dev mailing list