From aa272b4524fd7510fc9ddbe8142e408318238301 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 6 Oct 1999 10:53:06 +0000 Subject: Remove coq-Search function, now generic. --- coq/example.v | 2 ++ 1 file changed, 2 insertions(+) (limited to 'coq/example.v') diff --git a/coq/example.v b/coq/example.v index 619072c2..4fb38af6 100644 --- a/coq/example.v +++ b/coq/example.v @@ -11,3 +11,5 @@ Apply conj. Assumption. Assumption. Save and_comms. + + -- cgit v1.2.3