From 6189e10da761f1d63135efa068cc428454e069f2 Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Fri, 24 Sep 1999 15:48:28 +0000 Subject: unified example with other proof assistants; --- coq/example.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coq/example.v') diff --git a/coq/example.v b/coq/example.v index 8934a3d8..619072c2 100644 --- a/coq/example.v +++ b/coq/example.v @@ -10,4 +10,4 @@ Induction H. Apply conj. Assumption. Assumption. -Save conj_comms. +Save and_comms. -- cgit v1.2.3