Skip to content
Snippets Groups Projects
Commit 0e3e0793 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

adding a comment on scroll meta-annotations

parent 4ed9b3d9
No related branches found
No related tags found
No related merge requests found
......@@ -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
```
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment