equal
deleted
inserted
replaced
1 /* Title: Pure/ML/ml_lex.scala |
1 /* Title: Pure/ML/ml_lex.scala |
2 Author: Makarius |
2 Author: Makarius |
3 |
3 |
4 Lexical syntax for SML. |
4 Lexical syntax for Isabelle/ML and Standard ML. |
5 */ |
5 */ |
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
9 |
9 |