src/HOL/ex/Efficient_Nat_examples.thy
2011-10-19 bulwahn 2011-10-19 removing invocations of the evaluation method based on the old code generator
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
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