src/HOL/Library/Efficient_Nat.thy
changeset 45802 b16f976db515
parent 45793 331ebffe0593
child 46028 9f113cdf3d66