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

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

Cross Reference: Def.hascasl

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

Home
History
Annotate
Line#
Navigate
Download
only in ./

1

2

3

4

5

6

sort s < t

var x : s; y : t

. def (\f : s ->s . def f (x))

. def y as s

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