1
1 (* $Id$ *)
2 theory lam_public
2
3 theory weakening
3 imports "../nominal"
4 imports "../nominal"
4 begin
5 begin
5
6
6 (* WEAKENING EXAMPLE*)
7 (* WEAKENING EXAMPLE*)
7
8