Commit 26a25d40 authored by Florian Rabe's avatar Florian Rabe

no message

parent fb1c4ef3
namespace http://data.mathhub.info/schemas❚
import lfrules scala://lf.mmt.kwarc.info/❚
import rules scala://mmt.kwarc.info/❚
import lfrules rules:lf❚
import stdlit scala://uom.api.mmt.kwarc.info/❚
rule rules:api/parser?MMTURILexer❚
theory Framework =
include `ur:/?PLF❙
include `http://gl.mathhub.info/MMT/LFX/Records?LFRecords❙
include ☞ur:?PLF❙
include http://gl.mathhub.info/MMT/LFX/Records?LFRecords❙
theory MathData : ?Framework =
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment