Migrate historical parity examples

1 files changed, 43 insertions, 0 deletions

diff --git a/test/golden/replace/tokenizing.golden b/test/golden/replace/tokenizing.golden
index d32c8ab..06ab46a 100644
--- a/test/golden/replace/tokenizing.golden
+++ b/test/golden/replace/tokenizing.golden
@@ -1,4 +1,38 @@
 [
+    [ BeginEnv "signature"
+    , Label "example_cons"
+    , BeginEnv "math"
+    , Command "cons"
+    , InvisibleBraceL
+    , Variable "y"
+    , InvisibleBraceR
+    , InvisibleBraceL
+    , Variable "X"
+    , InvisibleBraceR
+    , EndEnv "math"
+    , Word "is"
+    , Word "a"
+    , Word "set"
+    , Symbol "."
+    , EndEnv "signature"
+    ]
+,
+    [ BeginEnv "signature"
+    , Label "example_pair"
+    , BeginEnv "math"
+    , ParenL
+    , Variable "x"
+    , Symbol ","
+    , Variable "y"
+    , ParenR
+    , EndEnv "math"
+    , Word "is"
+    , Word "a"
+    , Word "set"
+    , Symbol "."
+    , EndEnv "signature"
+    ]
+,
     [ BeginEnv "axiom"
     , Label "cons"
     , BeginEnv "math"
@@ -138,4 +172,13 @@
     , Symbol "."
     , EndEnv "proposition"
     ]
+,
+    [ BeginEnv "proof"
+    , Word "follows"
+    , Word "by"
+    , Ref
+        ( "times" :| [] )
+    , Symbol "."
+    , EndEnv "proof"
+    ]
 ]
\ No newline at end of file