From 723d12439415788f1f6071b17d52aaa4e927848a Mon Sep 17 00:00:00 2001
From: Flancian <0@flancia.org>
Date: Sat, 30 Jan 2021 18:05:10 +0100
Subject: [PATCH] Auto: misc.

---
 definitions.md        | 9 +++++++++
 useful-definitions.md | 1 +
 2 files changed, 10 insertions(+)
 create mode 100644 definitions.md

diff --git a/definitions.md b/definitions.md
new file mode 100644
index 000000000..f3cfc0046
--- /dev/null
+++ b/definitions.md
@@ -0,0 +1,9 @@
+# Definitions
+
+- A [[node]] can contain an arbitrary number of [[definitions]] in the form of [[logical propositions]].
+
+
+[//begin]: # "Autogenerated link references for markdown compatibility"
+[node]: node "Node"
+[definitions]: definitions "Definitions"
+[//end]: # "Autogenerated link references"
\ No newline at end of file
diff --git a/useful-definitions.md b/useful-definitions.md
index c2dc85996..dc731d7e0 100644
--- a/useful-definitions.md
+++ b/useful-definitions.md
@@ -1,5 +1,6 @@
 # Useful Definitions
 
 - A [[list]].
+  - [[useful]] [[definitions]]
 - https://twitter.com/flancian/status/1355562246211039232