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

blob: 1b4123c2dc9051b7698fcb703f7bbe2cc0deaa94 (plain)

concrete PredicationIta of Predication = CatIta ** PredicationI with
  (Syntax = SyntaxIta),
  (Lang = LangIta) ;