equal
deleted
inserted
replaced
1 (* Title: HOLCF/IOA/ABP/Lemmas.thy |
1 (* Title: HOLCF/IOA/ABP/Lemmas.thy |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Olaf Müller |
3 Author: Olaf Müller |
4 |
|
5 Arithmetic lemmas. |
|
6 *) |
4 *) |
7 |
5 |
8 Lemmas = Main |
6 theory Lemmas |
|
7 imports Main |
|
8 begin |
|
9 |
|
10 end |