1 (* $Id$ *)
2
3 theory If
1 theory If
4 imports FOLP
2 imports FOLP
5 begin
3 begin
6
4
7 definition "if" :: "[o,o,o]=>o" where
5 definition "if" :: "[o,o,o]=>o" where