Cross Reference: Def.hascasl
xref: /hets/HasCASL/test/Def.hascasl
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
da9480ca62c02207c30ba65dcfcd0f1e581bec21Christian Maedersort s < t
da9480ca62c02207c30ba65dcfcd0f1e581bec21Christian Maedervar x : s; y : t
570e76db4a9af54fb440cdb1e218649bddd9aa56Christian Maeder
570e76db4a9af54fb440cdb1e218649bddd9aa56Christian Maeder. def (\f : s ->s . def f (x))
da9480ca62c02207c30ba65dcfcd0f1e581bec21Christian Maeder. def y as s

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