diff --git a/source/Scrolls/README.md b/source/Scrolls/README.md index 90be86bed2e044724b516c146e8a0fcba3dc2e78..ed57baef1005998745f5b75cebcf238294fddf90 100644 --- a/source/Scrolls/README.md +++ b/source/Scrolls/README.md @@ -33,6 +33,9 @@ theory Midpoint = to have access to the facts formalized in the problem theory â™ include ?Midpoint/Problem â™ + // the next meta annotations (to the theory) actually make this theory into a scroll: + We specify the Problem and Solution theories â™ + meta ?MetaAnnotations?label "MidPoint" â™ meta ?MetaAnnotations?problemTheory ?Midpoint/Problem â™ meta ?MetaAnnotations?solutionTheory ?Midpoint/Solution â™ @@ -58,4 +61,4 @@ theory Midpoint = â™ âš âš -``` \ No newline at end of file +```