From 70819fdda615b9bb1e897bc82c0ce39b28a2dece Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Mon, 15 Dec 2014 13:51:30 +0100
Subject: Tests for Searchxxx commands added and modified.

---
 test-suite/output/SearchPattern.out | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'test-suite/output/SearchPattern.out')

diff --git a/test-suite/output/SearchPattern.out b/test-suite/output/SearchPattern.out
index 74bbf6882e..1eb7eca8f1 100644
--- a/test-suite/output/SearchPattern.out
+++ b/test-suite/output/SearchPattern.out
@@ -75,3 +75,9 @@ pair: forall A B : Type, A -> B -> A * B
 conj: forall A B : Prop, A -> B -> A /\ B
 Nat.divmod: nat -> nat -> nat -> nat -> nat * nat
 
+h: n <> newdef n
+h: n <> newdef n
+h: P n
+h': ~ P n
+h: P n
+h: P n
-- 
cgit v1.2.3