namespace http://cds.omdoc.org/urtheories❚

import rules scala://lf.mmt.kwarc.info❚

theory GCalculus =
   nabla  #  V1T,… . 2 prec -10000❙
❚
   
theory NablaRules =
❚