| changeset 42637 | 381fdcab0f36 |
| parent 25330 | 15bf0f47a87d |
| child 43564 | 9864182c6bad |
| 42636:41dff1b862bf | 42637:381fdcab0f36 |
|---|---|
1 (* ID: $Id$ *) |
|
2 (*<*)theory Even imports Main uses "../../antiquote_setup.ML" begin(*>*) |
1 (*<*)theory Even imports Main uses "../../antiquote_setup.ML" begin(*>*) |
3 |
2 |
4 section{* The Set of Even Numbers *} |
3 section{* The Set of Even Numbers *} |
5 |
4 |
6 text {* |
5 text {* |