Cross Reference: Def.hascasl
xref: /hets/HasCASL/test/Def.hascasl
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
Def.hascasl revision 570e76db4a9af54fb440cdb1e218649bddd9aa56
6f6c328eca52553e8c921565950fdddadc799bf7Christian Maedersort s
6f6c328eca52553e8c921565950fdddadc799bf7Christian Maedervar x : s
14f86b92900f3248952c94e980db715802433cdbChristian Maeder
14f86b92900f3248952c94e980db715802433cdbChristian Maeder. def (\f : s ->s . def f (x))
14f86b92900f3248952c94e980db715802433cdbChristian Maeder

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