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

Cross Reference: CastFun.hascasl

xref: /hets/HasCASL/test/CastFun.hascasl

Home
History
Annotate
Line#
Navigate
Download
only in ./

type s;

op f : s --> s

. f = ((\ x : s . x) as s --> s)

Indexes created Tue Jul 24 14:28:13 CEST 2018