src/HOL/ex/Efficient_Nat_examples.thy
2009-02-16 haftmann 2009-02-16 clarified import
2008-10-22 haftmann 2008-10-22 slightly tuned
2008-10-07 haftmann 2008-10-07 tuned whitespace
2008-03-28 haftmann 2008-03-28 import Main explicitly
2008-01-25 haftmann 2008-01-25 distinguished examples for Efficient_Nat.thy