Cross Reference: CastFun.hascasl
xref: /hets/HasCASL/test/CastFun.hascasl
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
b5ae094776014b09c5d8b9f3fc91cbe3041211d8Christian Maedertype s;
b5ae094776014b09c5d8b9f3fc91cbe3041211d8Christian Maeder
b5ae094776014b09c5d8b9f3fc91cbe3041211d8Christian Maederop f : s --> s
b5ae094776014b09c5d8b9f3fc91cbe3041211d8Christian Maeder
b5ae094776014b09c5d8b9f3fc91cbe3041211d8Christian Maeder. f = ((\ x : s . x) as s --> s)

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