1 (* $Id$ *)
2
3 theory ILL_predlog
1 theory ILL_predlog
4 imports ILL
2 imports ILL
5 begin
3 begin
6
4
7 typedecl plf
5 typedecl plf