From 8b4742303e207bbe95ac6d941a5e2012a48e4a93 Mon Sep 17 00:00:00 2001
From: Noah Diewald <noah@diewald.me>
Date: Mon, 19 Oct 2020 17:46:25 -0400
Subject: [PATCH] name of theory, etc

---
 glossary.tex | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/glossary.tex b/glossary.tex
index 2fc9e9b..ac50df4 100644
--- a/glossary.tex
+++ b/glossary.tex
@@ -1,13 +1,15 @@
-\newabbreviation{scp}{SCPM}{Separationist Constructive Proof Morphology}
+\newabbreviation{wt}{WT}{changeme}
+\newabbreviation{dso}{DSO}{data structure oriented}
+\newabbreviation{cp}{LP}{Lexical Proof Morphology}
+\newabbreviation{stc}{STC}{Separationist Taxonomy-Based Constructive Proof Morphology}
 \newabbreviation{gpsg}{GPSG}{Generalized Phrase Structure Grammar}
-\newabbreviation{wp}{WP}{Word and Paradigm}
+\newabbreviation{wp}{WP}{Word and Paradigm Morphology}
 \newabbreviation{cg}{CG}{categorial grammar}
 \newabbreviation{ccg}{CCG}{Combinatory Categorial Grammar}
 \newabbreviation{lcg}{LCG}{Linear Categorial Grammar}
-\newabbreviation{coc}{CC}{Calculus of Inductive Constructions}
+\newabbreviation{coc}{CiC}{Calculus of Inductive Constructions}
 \newabbreviation{hol}{HOL}{Higher Order Logic}
-\newabbreviation{stc}{FFM}{Form First Morphology}
-\newabbreviation{ibm}{IBM}{Information-Based Morphology}
+\newabbreviation{ibm}{IbM}{Information-Based Morphology}
 \newabbreviation{pfm}{PFM}{Paradigm Function Morphology}
 \newabbreviation{plt}{PLT}{Paradigm Linking Theory}
 \newabbreviation{ia}{IA}{Item and Arrangement}