Skip to content
Snippets Groups Projects

Added new Scrolls and new Theories

Merged Dreier Marcel requested to merge marcel into master
1 file
+ 3
3
Compare changes
  • Side-by-side
  • Inline
+ 3
3
@@ -14,9 +14,9 @@ theory SituationSpace =
// Player starts with SituationTheory1 below that includes this root situation theory,
providing access to scrolls that are available by default ❙
theory Root =
include ☞http://mathhub.info/FrameIT/frameworld?OppositeLen ❙
include ☞http://mathhub.info/FrameIT/frameworld?AngleSum ❙
include ☞http://mathhub.info/FrameIT/frameworld?Midpoint ❙
include ?OppositeLen ❙
include ?AngleSum ❙
include ?Midpoint ❙
// Player starts with this situation theory. ❙
Loading