1 (* Title: Pure/ML/ml_antiquote.ML
2 ID: $Id$
3 Author: Makarius
2 Author: Makarius
4
3
5 Common ML antiquotations.
4 Common ML antiquotations.
6 *)
5 *)
7
6