PredicationFin.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/PredicationFin.gf

blob: 86982aaae58b4387ccd48ab62132da58c3be9f09 (plain)

concrete PredicationFin of Predication = CatFin ** PredicationI with
  (Syntax = SyntaxFin),
  (Lang = LangFin) ;