Cross Reference: /hets/HasCASL/test/Def.hascasl

Def.hascasl revision da9480ca62c02207c30ba65dcfcd0f1e581bec21

0 N/Asort s < t

3087 N/Avar x : s; y : t

0 N/A. def (\f : s ->s . def f (x))

0 N/A. def y as s