diff --git a/source/MetaTheories.mmt b/source/MetaTheories.mmt index 5d74cd0ad7a3adfd65cfab41f1a571040256f4dc..895da273153564f46b2b36d37c20c8333d37afcb 100644 --- a/source/MetaTheories.mmt +++ b/source/MetaTheories.mmt @@ -1,6 +1,6 @@ namespace http://mathhub.info/FrameIT/frameworld âš -fixmeta ur:?LF âš +fixmeta ur:?LF âš /T MMT meta keys and value constructors for meta annotations of facts in situation theories and (input/output) facts in scrolls âš theory MetaAnnotations =