Thu, 09 Mar 2000 16:14:37 +0100 mod_less, div_less are now default simprules
paulson [Thu, 09 Mar 2000 16:14:37 +0100] rev 8395
mod_less, div_less are now default simprules
Thu, 09 Mar 2000 16:09:56 +0100 moved more lemmas to Convert (transitivity etc)
kleing [Thu, 09 Mar 2000 16:09:56 +0100] rev 8394
moved more lemmas to Convert (transitivity etc)
Thu, 09 Mar 2000 16:07:38 +0100 mod_less, div_less are now default simprules
paulson [Thu, 09 Mar 2000 16:07:38 +0100] rev 8393
mod_less, div_less are now default simprules
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip