equal
deleted
inserted
replaced
2 |
2 |
3 theory Scala |
3 theory Scala |
4 imports Base |
4 imports Base |
5 begin |
5 begin |
6 |
6 |
7 chapter \<open>Isabelle/Scala systems programming\<close> |
7 chapter \<open>Isabelle/Scala systems programming \label{sec:scala}\<close> |
8 |
8 |
9 text \<open> |
9 text \<open> |
10 Isabelle/ML and Isabelle/Scala are the two main implementation languages of |
10 Isabelle/ML and Isabelle/Scala are the two main implementation languages of |
11 the Isabelle environment: |
11 the Isabelle environment: |
12 |
12 |