equal
deleted
inserted
replaced
1 /* Title: Pure/General/symbol.scala |
1 /* Title: Pure/General/symbol.scala |
2 ID: $Id$ |
|
3 Author: Makarius |
2 Author: Makarius |
4 |
3 |
5 Detecting and recoding Isabelle symbols. |
4 Detecting and recoding Isabelle symbols. |
6 */ |
5 */ |
7 |
6 |