diff options
Diffstat (limited to 'test/phase3/gloss-root.tex')
| -rw-r--r-- | test/phase3/gloss-root.tex | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/test/phase3/gloss-root.tex b/test/phase3/gloss-root.tex deleted file mode 100644 index 9d4ce19..0000000 --- a/test/phase3/gloss-root.tex +++ /dev/null @@ -1,9 +0,0 @@ -\import{test/phase3/gloss-imported.tex} - -\begin{signature}\label{phase3_gloss_root_first} - $\unions{X}$ is a set. -\end{signature} - -\begin{signature}\label{phase3_gloss_root_second} - $\fst{X}$ is a set. -\end{signature} |
