1 (* $Id$ *)
1
2
2 theory "syntax"
3 theory "syntax"
3 imports CPure
4 imports CPure
4 begin
5 begin
5
6