Arrays: Difference between revisions

Content deleted Content added
Line 152:
cl_demo_output=>display( itab[ 2 ] ).
</lang>
 
{{out}}
<pre>
2
3
4
5
 
3
</pre>
 
=={{header|ACL2}}==