src/HOL/ex/Efficient_Nat_examples.thy
2008-01-25 haftmann 2008-01-25 distinguished examples for Efficient_Nat.thy