PredicationDan.gf « mathematical « resource « old-lib « deprecated - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/deprecated/old-lib/resource/mathematical/PredicationDan.gf

blob: 6f1ba235eaf8cb948c73f8d14e0764c78b026e24 (plain)

concrete PredicationDan of Predication = CatDan ** PredicationI with
  (Syntax = SyntaxDan),
  (Lang = LangDan) ;