src/HOL/Library/Log_Nat.thy
2016-08-12 nipkow 2016-08-12 tuned
2016-08-12 nipkow 2016-08-12 Extracted floorlog and bitlen to separate theory Log_Nat