| changeset 82968 | b2b88d5b01b6 |
| parent 82963 | 5f03fb28849d |
| child 83149 | b6ad7d2fc589 |
| 82967:73af47bc277c | 82968:b2b88d5b01b6 |
|---|---|
1 /* Title: Pure/ROOT.scala |
1 /* Title: Pure/ROOT.scala |
2 Author: Makarius |
2 Author: Makarius |
3 UUID: 42ae3ec9-f60f-42f1-8127-8d951cdb7073 |
3 UUID: 662938be-f6dc-4b35-a648-908750fa5b7c |
4 |
4 |
5 Root of isabelle package. |
5 Root of isabelle package. |
6 */ |
6 */ |
7 |
7 |
8 package object isabelle { |
8 package object isabelle { |