equal
deleted
inserted
replaced
1 theory Advanced |
1 theory Advanced |
2 imports Base FirstSteps |
2 imports Base First_Steps |
3 begin |
3 begin |
4 |
4 |
5 (*<*) |
5 (*<*) |
6 setup{* |
6 setup{* |
7 open_file_with_prelude |
7 open_file_with_prelude |
8 "Advanced_Code.thy" |
8 "Advanced_Code.thy" |
9 ["theory Advanced", "imports Base FirstSteps", "begin"] |
9 ["theory Advanced", "imports Base First_Steps", "begin"] |
10 *} |
10 *} |
11 (*>*) |
11 (*>*) |
12 |
12 |
13 |
13 |
14 chapter {* Advanced Isabelle\label{chp:advanced} *} |
14 chapter {* Advanced Isabelle\label{chp:advanced} *} |