1EKB_DELETE(1)                    User Commands                   EKB_DELETE(1)
2
3
4

NAME

6       ekb_delete - manual page for ekb_delete 0.1dev
7

SYNOPSIS

9       ekb_delete [options] <name>
10

DESCRIPTION

12       ekb_delete 0.1dev
13
14       Remove the example <name> from an E knowledge base.
15
16       Options
17
18       -h
19
20       --help
21
22              Print a short description of program usage and options.
23
24       --version
25
26              Print the version number of the program.
27
28       -v
29
30       --verbose[=<arg>]
31
32              Verbose  comments on the progress of the program. The short form
33              or the long form without the optional argument is equivalent  to
34              --verbose=1.
35
36       -k <arg>
37
38       --knowledge-base=<arg>
39
40              Select the knowledge base. If not given, select E_KNOWLEDGE.
41

REPORTING BUGS

43       Report  bugs  to <schulz@eprover.org>. Please include the following, if
44       possible:
45
46       * The version of the package as reported by eprover --version.
47
48       * The operating system and version.
49
50       * The exact command line that leads to the unexpected behaviour.
51
52       * A description of what you expected and what actually happend.
53
54       * If possible all input files necessary to reproduce the bug.
55

57       Copyright © 1999 by Stephan Schulz, schulz@informatik.tu-muenchen.de
58
59       This program is a part of the support structure for  the  E  equational
60       theorem  prover.  You can find the latest version of the E distribution
61       as  well   as   additional   information   at   http://wwwjessen.infor‐
62       matik.tu-muenchen.de/~schulz/WORK/eprover.html.
63
64       This program is free software; you can redistribute it and/or modify it
65       under the terms of the GNU General Public License as published  by  the
66       Free  Software Foundation; either version 2 of the License, or (at your
67       option) any later version.
68
69       This program is distributed in the hope that it  will  be  useful,  but
70       WITHOUT  ANY  WARRANTY;  without  even  the  implied  warranty  of MER‐
71       CHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU  General
72       Public License for more details.
73
74       You should have received a copy of the GNU General Public License along
75       with this program (it should be contained in the top level directory of
76       the  distribution in the file COPYING); if not, write to the Free Soft‐
77       ware  Foundation,  Inc.,  59  Temple  Place,  Suite  330,  Boston,   MA
78       02111-1307 USA
79
80       The original copyright holder can be contacted as
81
82       Stephan  Schulz  Technische Universitaet Muenchen Fakultaet fuer Infor‐
83       matik Arcisstrasse 20 D-80290 Muenchen Germany
84
85
86
87ekb_delete 0.1dev                January 2020                    EKB_DELETE(1)
Impressum