diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-10-06 10:53:06 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-06 10:53:06 +0000 |
commit | aa272b4524fd7510fc9ddbe8142e408318238301 (patch) | |
tree | 3fdc360c3478663cc5720ec6a3af6f77ab467516 /coq/example.v | |
parent | e0706d87ee5550e452c964fffb240aa74a2aa9b7 (diff) |
Remove coq-Search function, now generic.
Diffstat (limited to 'coq/example.v')
-rw-r--r-- | coq/example.v | 2 |
1 files changed, 2 insertions, 0 deletions
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. + + |