[isabelle] Rational functions

 Is there a theory or a construction of rational functions in any of the
isabelle theories(either in the library or in one of the submitted
theories). If not, is there a known or an easy way to construct it from any
of the theories of polynomial functions?


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.