diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-04-11 13:50:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-11 13:50:29 +0200 |
| commit | 1d5812e9600b38fa49a6e7cea2e425c7655fa7ef (patch) | |
| tree | bcbaf350be472bd0b36c8458ae066d65ed0c096d /test/golden/byRef/glossing.golden | |
| parent | 15deff4df111d86c84d808f1c9cc4e30013287d0 (diff) | |
| parent | 7a80b75aeaf7fd6e8828b843fa58664f11451833 (diff) | |
Merge pull request #1 from adelon/main
Update Fork
Diffstat (limited to 'test/golden/byRef/glossing.golden')
| -rw-r--r-- | test/golden/byRef/glossing.golden | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/test/golden/byRef/glossing.golden b/test/golden/byRef/glossing.golden index e213bc9..cc7281e 100644 --- a/test/golden/byRef/glossing.golden +++ b/test/golden/byRef/glossing.golden @@ -5,7 +5,7 @@ , sourceColumn = Pos 1 } ) - ( Marker "first_proposition" ) + ( Marker "prop1" ) ( Lemma [] ( TermSymbol ( SymbolPredicate @@ -27,7 +27,7 @@ , sourceColumn = Pos 1 } ) - ( Marker "second_proposition" ) + ( Marker "prop2" ) ( Lemma [] ( TermSymbol ( SymbolPredicate @@ -49,7 +49,7 @@ , sourceColumn = Pos 1 } ) - ( Marker "third_proposition" ) + ( Marker "prop3" ) ( Lemma [] ( TermSymbol ( SymbolPredicate @@ -73,7 +73,7 @@ ) ( Qed ( JustificationRef - ( Marker "first_proposition" :| [] ) + ( Marker "prop1" :| [] ) ) ) , BlockLemma @@ -83,7 +83,7 @@ , sourceColumn = Pos 1 } ) - ( Marker "fourth_proposition" ) + ( Marker "prop4" ) ( Lemma [] ( TermSymbol ( SymbolPredicate @@ -127,7 +127,7 @@ ) ) ( JustificationRef - ( Marker "first_proposition" :| [] ) + ( Marker "prop1" :| [] ) ) ( Qed JustificationEmpty ) ) , BlockLemma @@ -137,7 +137,7 @@ , sourceColumn = Pos 1 } ) - ( Marker "fifth_proposition" ) + ( Marker "prop5" ) ( Lemma [] ( TermSymbol ( SymbolPredicate |