Cross Reference: Def.hascasl
xref
: /
hets
/
HasCASL
/
test
/
Def.hascasl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
Def.hascasl revision 570e76db4a9af54fb440cdb1e218649bddd9aa56
325
N/A
sort s
325
N/A
var x : s
325
N/A
325
N/A
. def (\f : s ->s . def f (x))
325
N/A