← Back to branch summary

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

« back to all changes in this revision

Viewing changes to books/workshops/1999/de-hdl/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/de-hdl/README
 
1
This is the README for Warren Hunt's chapter in the book "Computer-Aided
 
2
Reeasoning: ACL2 Case Studies,"  Directory contents are as follows.
 
3
 
 
4
Makefile
 
5
README
 
6
a-load-file.lsp
 
7
arity.lisp
 
8
de4.lisp
 
9
examples.lisp
 
10
help-defuns.lisp
 
11
measure.lisp
 
12
primitives.lisp
 
13
sts-okp.lisp
 
14
syntax.lisp
 
15
thm-example.lisp