diff options
Diffstat (limited to 'test/golden/indefinite-terms/glossing.golden')
| -rw-r--r-- | test/golden/indefinite-terms/glossing.golden | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/test/golden/indefinite-terms/glossing.golden b/test/golden/indefinite-terms/glossing.golden deleted file mode 100644 index 3cab448..0000000 --- a/test/golden/indefinite-terms/glossing.golden +++ /dev/null @@ -1,31 +0,0 @@ -[ BlockLemma - ( Location - { locFile = "test/examples/indefinite-terms.tex" - , locLine = 1 - , locColumn = 1 - } - ) - ( Marker "indefinite_test_forall" ) - ( Lemma [] - ( Quantified Universally - ( Scope - ( Connected Implication ( PropositionalConstant IsTop ) ( PropositionalConstant IsTop ) ) - ) - ) - ) -, BlockLemma - ( Location - { locFile = "test/examples/indefinite-terms.tex" - , locLine = 5 - , locColumn = 1 - } - ) - ( Marker "indefinite_test_exists" ) - ( Lemma [] - ( Quantified Existentially - ( Scope - ( Connected Conjunction ( PropositionalConstant IsTop ) ( PropositionalConstant IsTop ) ) - ) - ) - ) -]
\ No newline at end of file |