diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 1999-09-24 15:48:28 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 1999-09-24 15:48:28 +0000 |
| commit | 6189e10da761f1d63135efa068cc428454e069f2 (patch) | |
| tree | df8565297bd056f71ed1e433acb92f32e90c8fad /coq/example.v | |
| parent | dde2904045d871721d4e015911199b24e14cd7a3 (diff) | |
unified example with other proof assistants;
Diffstat (limited to 'coq/example.v')
| -rw-r--r-- | coq/example.v | 2 |
1 files changed, 1 insertions, 1 deletions
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. |