← Back to branch summary

~ubuntu-branches/ubuntu/gutsy/acl2/gutsy

« back to all changes in this revision

Viewing changes to doc/HTML/EVENTS.html

  • Committer: Bazaar Package Importer
  • Author(s): Camm Maguire
  • Date: 2006-12-04 10:35:42 UTC
  • mfrom: (1.1.5 upstream) (3.1.1 etch)
  • Revision ID: james.westby@ubuntu.com-20061204103542-68nf4pkilci0018n
Tags: 3.1-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
doc/HTML/EVENTS.html
1
1
<html>
2
 
<head><title>EVENTS.html  --  ACL2 Version 3.0.1</title></head>
 
2
<head><title>EVENTS.html  --  ACL2 Version 3.1</title></head>
3
3
<body text=#000000 bgcolor="#FFFFFF">
4
4
<h1>EVENTS</h1>functions that extend the logic
5
5
<pre>Major Section:  <a href="acl2-doc-major-topics.html">ACL2 Documentation</a>
42
42
</h3>
43
43
</li>
44
44
 
 
45
<li><h3><a href="ASSERT-EVENT.html">ASSERT-EVENT</a> -- assert that a given form returns a non-<code>nil</code> value
 
46
</h3>
 
47
</li>
 
48
 
45
49
<li><h3><a href="BINOP-TABLE.html">BINOP-TABLE</a> -- associates binary function with the corresponding macro
46
50
</h3>
47
51
</li>
127
131
</h3>
128
132
</li>
129
133
 
 
134
<li><h3><a href="DEFTTAG.html">DEFTTAG</a> -- introduce a trust tag (ttag)
 
135
</h3>
 
136
</li>
 
137
 
130
138
<li><h3><a href="DEFUN.html">DEFUN</a> -- define a function symbol
131
139
</h3>
132
140
</li>
195
203
</h3>
196
204
</li>
197
205
 
 
206
<li><h3><a href="PROGN_bang_.html">PROGN!</a> -- evaluate some forms, not necessarily <a href="EVENTS.html">events</a>
 
207
</h3>
 
208
</li>
 
209
 
198
210
<li><h3><a href="PROGRAM.html">PROGRAM</a> -- to set the default <a href="DEFUN-MODE.html">defun-mode</a> to <code>:</code><code><a href="PROGRAM.html">program</a></code>
199
211
</h3>
200
212
</li>
235
247
</h3>
236
248
</li>
237
249
 
 
250
<li><h3><a href="REMOVE-UNTOUCHABLE.html">REMOVE-UNTOUCHABLE</a> -- remove name or list of names to the list of untouchable symbols
 
251
</h3>
 
252
</li>
 
253
 
 
254
<li><h3><a href="RESET-PREHISTORY.html">RESET-PREHISTORY</a> -- reset the prehistory
 
255
</h3>
 
256
</li>
 
257
 
238
258
<li><h3><a href="SET-BACKCHAIN-LIMIT.html">SET-BACKCHAIN-LIMIT</a> -- Sets the backchain-limit used by the rewriter
239
259
</h3>
240
260
</li>
271
291
</h3>
272
292
</li>
273
293
 
274
 
<li><h3><a href="SET-IGNORE-OK.html">SET-IGNORE-OK</a> -- allow unused formals and locals without an <code>ignore</code> declaration
 
294
<li><h3><a href="SET-IGNORE-OK.html">SET-IGNORE-OK</a> -- allow unused formals and locals without an <code>ignore</code> or <code>ignorable</code> declaration
275
295
</h3>
276
296
</li>
277
297