[isabelle] Field lemmas in theory Int



Why are the divide_minus1, minus1_divide, and divide_Numeral1 lemmas in theory Int? These apply only to x in a field; but the integers are not a field.
--
Prof. W. Douglas Maurer                Washington, DC 20052, USA
Department of Computer Science         Tel. (1-202)994-5921
The George Washington University       Fax  (1-202)994-4875




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