← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/workshops/1999/embedded/Exercises/Exercise1-1/README

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/workshops/1999/embedded/Exercises/Exercise1-1/README
 
1
 
 
2
 
 
3
CONTENTS
 
4
--------------------------------------------------
 
5
 
 
6
Exercise1.1.lisp   Proof script for exercise 1.1 of the chapter.
 
7
 
 
8
 
 
9
HOW TO RUN THE PROOFS
 
10
-------------------------------------------------------------------------------
 
11
To certify the ACL2 script of the proof for exercise 1.1, run ACL2 and
 
12
execute (certify-book "Exercise1.1").
 
13
 
 
14
 
 
15
 
 
16