doc-src/antiquote_setup.ML
2006-11-15 wenzelm 2006-11-15 Auxiliary antiquotations for Isabelle manuals.