diff --git a/3-99 Research/TLA/TLA - README.md b/3-99 Research/TLA/TLA - README.md index 73b618b1..2625278e 100644 --- a/3-99 Research/TLA/TLA - README.md +++ b/3-99 Research/TLA/TLA - README.md @@ -1,15 +1,9 @@ # Table of Contents for TLA -## Subdirectories -- [[states/states - README]] -- [[Untitled.toolbox/Untitled.toolbox - README]] - ## Files -- [[Test.cfg]] -- [[Test.tla]] - [[TLA Canvas.canvas]] +- [[TLA+ Learning Plan.md]] - [[Untitled.md]] -- [[Untitled.tla]] - [[What is TLA?.md]] - [[What the hell is liveness?.md]]