-
Notifications
You must be signed in to change notification settings - Fork 2
/
add_conclusion.html
69 lines (37 loc) · 1.44 KB
/
add_conclusion.html
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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<script type="text/javascript">
var tiki_cookie_jar = new Array();
tiki_cookie_jar = {
};
</script>
<script type="text/javascript" src="lib/tiki-js.js"></script><title>JGEX Documentation : Add Conclusion </title>
<link rel="StyleSheet" href="lib/1.css" type="text/css">
<link rel="StyleSheet" href="styles/cindydoc.css" type="text/css">
<link rel="alternate" type="application/xml" title="RSS Wiki" >
<style type="text/css">
<!--
.style2 {font-size: 18px}
-->
</style>
</head>
<body>
<div id="overDiv" style="position: absolute; visibility: hidden; z-index: 1000;"></div>
<script type="text/javascript" language="JavaScript" src="lib/overlib.js"></script>
<div id="tiki-clean">
<div id="tiki-mid">
<div class="wikitopline"></div>
<div class="wikitext">
<h2>Add Conclusion </h2>
<br />
<h3> </h3>
<p>Use the menu " To Prove" in the main menu or button <img src="images/ptree/addconc.gif" width="20" height="20" /> to add the conclusion for the theorem. </p>
<p><img src="images2/conc.gif" width="320" height="200" border="1" /></p>
<p> </p>
<p> </p>
</div>
<p class="editdate">JGEX Help </p>
</div>
</div>
</body></html>