1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN">
<html>
<head>
<title>Prover9 Manual: Advanced Features</title>
<link rel="stylesheet" href="manual.css">
</head>
<body>
<hr>
<table width="100%">
<tr>
<colgroup>
<col width="33%">
<col width="34%">
<col width="33%">
</colgroup>
<td align="left"><i>Prover9 Manual</i>
<td align="center"><img src="prover9-5a-256t.gif">
<td align="right"><i>Version 2008-06A</i>
</table>
<hr>
<!-- Main content -->
<h1>Advanced Features</h1>
<ul>
<li><a href="actions.html">Actions</a>
<li><a href="hints.html">Hints</a>
<li><a href="semantics.html">Semantics</a>
<li><a href="clause-properties.html">Clause Properties</a>
<li><a href="white-black.html">Keep and Delete Rules</a>
<li><a href="select2.html">Given Selection</a>
</ul>
<!--
<hr>
Next Section:
<a href="auto.html">Auto Modes</a>
-->
</body>
</html>
|