1 (* $Id$ *)
2
3 theory Support
1 theory Support
4 imports "../Nominal"
2 imports "../Nominal"
5 begin
3 begin
6
4
7 text {*
5 text {*