src/HOL/ex/Code_Antiq.thy
2008-07-02 haftmann 2008-07-02 code antiquotation roaring ahead