summaryrefslogtreecommitdiff
path: root/theories/Sorting/intro.tex
diff options
context:
space:
mode:
Diffstat (limited to 'theories/Sorting/intro.tex')
-rw-r--r--theories/Sorting/intro.tex1
1 files changed, 1 insertions, 0 deletions
diff --git a/theories/Sorting/intro.tex b/theories/Sorting/intro.tex
new file mode 100644
index 00000000..64ae4c88
--- /dev/null
+++ b/theories/Sorting/intro.tex
@@ -0,0 +1 @@
+\section{Sorting}\label{Sorting}