doc-src/more_antiquote.ML
2008-11-03 haftmann 2008-11-03 improved verbatim mechanism
2008-10-24 haftmann 2008-10-24 explicit namings for generated code
2008-10-17 haftmann 2008-10-17 added type antiquotation
2008-10-02 haftmann 2008-10-02 corrected class antiquotation
2008-10-01 haftmann 2008-10-01 added more_antiquote.ML