-
- Downloads
Removed LoViVo-Cogwheels-Theorie from DefaultSituationSpace. (Theory still...
Removed LoViVo-Cogwheels-Theorie from DefaultSituationSpace. (Theory still included in FrameworldMeta, so that cogwheel-facts can be added.)
Showing
- content/http..mathhub.info/FrameIT/frameworld/$Default$Situation$Space.omdoc.xz 0 additions, 0 deletions...info/FrameIT/frameworld/$Default$Situation$Space.omdoc.xz
- content/http..mathhub.info/LoViVo/gearbox/temp.omdoc.xz 0 additions, 0 deletionscontent/http..mathhub.info/LoViVo/gearbox/temp.omdoc.xz
- errors/mmt-omdoc/Library/gearbox.mmt.err 0 additions, 112 deletionserrors/mmt-omdoc/Library/gearbox.mmt.err
- narration/DefaultSituationSpace.omdoc 1 addition, 1 deletionnarration/DefaultSituationSpace.omdoc
- relational/http..mathhub.info/FrameIT/frameworld/$Default$Situation$Space.rel 0 additions, 1 deletion...hhub.info/FrameIT/frameworld/$Default$Situation$Space.rel
- relational/http..mathhub.info/LoViVo/gearbox/temp.rel 1 addition, 10 deletionsrelational/http..mathhub.info/LoViVo/gearbox/temp.rel
- source/DefaultSituationSpace.mmt 0 additions, 2 deletionssource/DefaultSituationSpace.mmt
Loading
Please register or sign in to comment