equal
deleted
inserted
replaced
1 (*<*) |
1 (*<*) |
2 theory CodeGen = Main: |
2 theory CodeGen imports Main begin |
3 (*>*) |
3 (*>*) |
4 |
4 |
5 section{*Case Study: Compiling Expressions*} |
5 section{*Case Study: Compiling Expressions*} |
6 |
6 |
7 text{*\label{sec:ExprCompiler} |
7 text{*\label{sec:ExprCompiler} |