1 (* $Id$ *)
2
3 theory Misc
1 theory Misc
4 imports Main
2 imports Main
5 begin
3 begin
6
4
7 chapter {* Other commands *}
5 chapter {* Other commands *}