src/HOL/Matrix_LP/ComputeNumeral.thy
Thu, 13 Aug 2015 15:22:11 +0200 haftmann qualified adjust_*
Sat, 08 Aug 2015 10:51:33 +0200 haftmann direct bootstrap of integer division from natural division
Sun, 09 Nov 2014 10:03:17 +0100 haftmann self-contained simp rules for dvd on numerals
less more (0) -3 tip